# http://lists.seas.upenn.edu/pipermail/unison-hackers/2010-July/001437.html # http://tech.groups.yahoo.com/group/unison-users/message/9348 diff -Nru unison-2.32.52.orig/update.mli unison-2.32.52/update.mli --- unison-2.32.52.orig/update.mli 2010-08-29 19:47:19.747218034 +0200 +++ unison-2.32.52/update.mli 2010-08-29 19:48:14.182482609 +0200 @@ -1,7 +1,7 @@ (* Unison file synchronizer: src/update.mli *) (* Copyright 1999-2009, Benjamin C. Pierce (see COPYING for details) *) -module NameMap : Map.S with type key = Name.t +module NameMap : MyMap.S with type key = Name.t type archive = ArchiveDir of Props.t * archive NameMap.t