X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaDb.ml;h=e3c7041ddadd927d4f6b86fe0b0e4e3d0c42b306;hb=afe21e48aefe81db3ca150fac9a5bbfbc893fa59;hp=75d0f67e0e2b12985769b7dc4c59fcfe5bd12a36;hpb=ed7711935c7377ea8785a9f3b85984785b92030e;p=helm.git

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 75d0f67e0..e3c7041dd 100644
--- 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 *)