X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flibrary%2FlibraryNoDb.mli;h=1521f456f75497d88bc328dc07936d023c42d6a8;hb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;hp=33b1b1eb35eb217b06694a3ea58216082d916569;hpb=5b306342bf9befa57abd870527d6bd92b0a5ba50;p=helm.git

diff --git a/helm/ocaml/library/libraryNoDb.mli b/helm/ocaml/library/libraryNoDb.mli
index 33b1b1eb3..1521f456f 100644
--- 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