Index: src/terminal.ml =================================================================== --- src/terminal.ml (révision 463) +++ src/terminal.ml (copie de travail) @@ -191,7 +191,6 @@ exit 127 end | childPid -> - Unix.close slaveFd; (Some masterFd, childPid) end Index: src/update.mli =================================================================== --- src/update.mli (révision 463) +++ src/update.mli (copie de travail) @@ -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