X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcontent_pres%2FcicNotationLexer.ml;h=fb459a94e36bada765133844b82235626573770b;hb=f27b26f3f3d2300b11aa4d68dbe823e15ffbdf1c;hp=67340d37a255662b1270a26ce757c18d82768de7;hpb=3ed150643328da99de75cdf69b2987a8fb44cce4;p=helm.git

diff --git a/components/content_pres/cicNotationLexer.ml b/components/content_pres/cicNotationLexer.ml
index 67340d37a..fb459a94e 100644
--- a/components/content_pres/cicNotationLexer.ml
+++ b/components/content_pres/cicNotationLexer.ml
@@ -125,7 +125,7 @@ let _ =
       ("<>", <:unicode<neq>>);  (":=", <:unicode<def>>);
     ]
 
-let regexp uri_step = [ 'a' - 'z' 'A' - 'Z' '0' - '9' '_' '-' ]+
+let regexp uri_step = [ 'a' - 'z' 'A' - 'Z' '0' - '9' '_' '-' ''' ]+
 
 let regexp uri =
   ("cic:/" | "theory:/")              (* schema *)