diff options
Diffstat (limited to 'net-misc/unison/files/unison-mymap.patch')
| -rw-r--r-- | net-misc/unison/files/unison-mymap.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/net-misc/unison/files/unison-mymap.patch b/net-misc/unison/files/unison-mymap.patch new file mode 100644 index 0000000..030eb0f --- /dev/null +++ b/net-misc/unison/files/unison-mymap.patch @@ -0,0 +1,13 @@ +Index: unison-2.32.52/update.mli +=================================================================== +--- unison-2.32.52.orig/update.mli ++++ unison-2.32.52/update.mli +@@ -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 |