Ticket #35639: patch-update.mli.diff

File patch-update.mli.diff, 406 bytes (added by rwilcox (Ryan Wilcox), 12 years ago)

patch for the files directory (patches update mli script)

  • 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