Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / library / libraryNoDb.mli

diff --git a/helm/ocaml/library/libraryNoDb.mli b/helm/ocaml/library/libraryNoDb.mli
index 33b1b1eb35eb217b06694a3ea58216082d916569..1521f456f75497d88bc328dc07936d023c42d6a8 100644 (file)
--- a/helm/ocaml/library/libraryNoDb.mli
+++ b/helm/ocaml/library/libraryNoDb.mli
@@ -27,7 +27,6 @@
  * support their format *)
 type metadata =
   | Dependency of string  (* baseuri without trailing slash *)
-  | Baseuri of string 
 
 val eq_metadata: metadata -> metadata -> bool