From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 15 Jun 2005 14:07:33 +0000 (+0000)
Subject: fix
X-Git-Tag: PRE_STORAGE~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8aaf525856e25bcd8f355e505fd00f45c62bc18f;p=helm.git

fix
---

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:"