From 8aaf525856e25bcd8f355e505fd00f45c62bc18f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 15 Jun 2005 14:07:33 +0000 Subject: [PATCH] fix --- helm/ocaml/getter/http_getter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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:" -- 2.39.2