]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/library/librarian.ml
Use of standard OCaml syntax
[helm.git] / matita / components / library / librarian.ml
index bcb84fd6791f9f142defb474dd33f6c8c83958cd..794e11e55712f5a96556c4bf28f6014c6eeb0297 100644 (file)
@@ -152,6 +152,6 @@ let find_roots_in_dir dir =
 ;;
 
 (* scheme uri part as defined in URI Generic Syntax (RFC 3986) *)
-let uri_scheme_rex = Pcre.regexp "^[[:alpha:]][[:alnum:]\-+.]*:"
+let uri_scheme_rex = Pcre.regexp "^[[:alpha:]][[:alnum:]-+.]*:"
 
 let is_uri str = Pcre.pmatch ~rex:uri_scheme_rex str