]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/metadata/metadataDeps.ml
strange bug-fix to allow compilation on recent ocaml+camlp5o
[helm.git] / helm / software / components / metadata / metadataDeps.ml
index e949984e423631d72e0371ee43e4fcee6a119822..e6fcab592577812706ded37f667b5a21a220a7c2 100644 (file)
@@ -169,7 +169,7 @@ struct
     neighborhood UriTbl.t * UriManager.uri
       * (UriManager.uri -> UriManager.uri list) * bool
 
-  let dummy =
+  let dummy : t =
     UriTbl.create 0, UriManager.uri_of_string "cic:/a.con",
       (fun _ -> []), false