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