X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flibrary%2Flibrarian.ml;h=794e11e55712f5a96556c4bf28f6014c6eeb0297;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=bcb84fd6791f9f142defb474dd33f6c8c83958cd;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/library/librarian.ml b/matita/components/library/librarian.ml
index bcb84fd67..794e11e55 100644
--- a/matita/components/library/librarian.ml
+++ b/matita/components/library/librarian.ml
@@ -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