From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2017 18:01:47 +0000 (+0100) Subject: strange bug-fix to allow compilation on recent ocaml+camlp5o X-Git-Tag: make_still_working~387 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5cf3909277c1d813bc1d7571f866efc9d7b2699d;p=helm.git strange bug-fix to allow compilation on recent ocaml+camlp5o --- diff --git a/helm/software/components/metadata/metadataDeps.ml b/helm/software/components/metadata/metadataDeps.ml index e949984e4..e6fcab592 100644 --- a/helm/software/components/metadata/metadataDeps.ml +++ b/helm/software/components/metadata/metadataDeps.ml @@ -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