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