fix

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index a4bbb1172b6ad84c454298b2f48ae9d28376eaa1..4094a7376268eb6a31036a874643e258cbad4e9a 100644 (file)
--- 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:"