X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter.ml;h=4094a7376268eb6a31036a874643e258cbad4e9a;hb=b6101c89b49ad1df07df62ec661c8b30bda99a2a;hp=a4bbb1172b6ad84c454298b2f48ae9d28376eaa1;hpb=617285cac8aabbe62699d5d7144b0df4f5771000;p=helm.git

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index a4bbb1172..4094a7376 100644
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -51,7 +51,7 @@ let index_sep_RE          = Pcre.regexp "\r\n|\r|\n"
 let trailing_types_RE     = Pcre.regexp "\\.types$"
 let heading_cic_RE        = Pcre.regexp "^cic:"
 let heading_theory_RE     = Pcre.regexp "^theory:"
-let heading_nuprl_RE,     = Pcre.regexp "^nuprl:"
+let heading_nuprl_RE     = Pcre.regexp "^nuprl:"
 let heading_rdf_cic_RE    = Pcre.regexp "^helm:rdf.*//cic:"
 let heading_rdf_theory_RE = Pcre.regexp "^helm:rdf.*//theory:"