X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flibrary%2FlibraryNoDb.mli;h=1521f456f75497d88bc328dc07936d023c42d6a8;hb=ff4f8bef029d1c55b2e50c5635b0ca98c967d9ff;hp=33b1b1eb35eb217b06694a3ea58216082d916569;hpb=dbb9f64a437b4abda0b9f47a527ab6135d596e28;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