ocaml 3.09 transition

[helm.git] / helm / matita / matitaDb.ml

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 75d0f67e0e2b12985769b7dc4c59fcfe5bd12a36..e3c7041ddadd927d4f6b86fe0b0e4e3d0c42b306 100644 (file)
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -148,7 +148,7 @@ let remove_uri uri =
     let l = ref [] in
     HMysql.iter rc (fun a -> match a.(0) with None ->()|Some a -> l := a:: !l);
     let l = List.sort Pervasives.compare !l in
-    MatitaMisc.list_uniq l
+    HExtlib.list_uniq l
   with
     exn -> raise exn (* no errors should be accepted *)