diff options
| -rw-r--r-- | net/unison232/files/patch-update.mli.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/net/unison232/files/patch-update.mli.diff b/net/unison232/files/patch-update.mli.diff new file mode 100644 index 000000000000..af31c8b3f6ae --- /dev/null +++ b/net/unison232/files/patch-update.mli.diff @@ -0,0 +1,13 @@ +Source: https://webdav.seas.upenn.edu/viewvc/unison/branches/2.40/src/update.mli?view=patch&r1=435&r2=457&pathrev=457 + +--- ./update.mli 2010/04/15 17:29:31 435 ++++ ./update.mli 2010/07/19 13:05:04 457 +@@ -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 |