blob: 030eb0f0174e0b39c7c19bb5a5ed9a42386dc15b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|
GitWeb
