Ticket #26819: patch-update.mli.diff

File patch-update.mli.diff, 406 bytes (added by gellule.xg@…, 14 years ago)

Patch for update.mli

  • update.mli

    old new  
    11(* Unison file synchronizer: src/update.mli *)
    22(* Copyright 1999-2009, Benjamin C. Pierce (see COPYING for details) *)
    33
    4 module NameMap : Map.S with type key = Name.t
     4module NameMap : MyMap.S with type key = Name.t
    55
    66type archive =
    77    ArchiveDir of Props.t * archive NameMap.t