X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesLexer.mll;h=64c4545174864f65f6f7485d3928ddf6bc388470;hb=f5bc9206835d61109a72c7b973dad8dd21914950;hp=372446fc72aded6c875a47909825b76b62d7740c;hpb=a1ae862976f2489107dd107937f5e05d0aaa7144;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll b/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll
index 372446fc7..64c454517 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll
@@ -22,12 +22,12 @@ let TEXT = ['0'-'9' 'A'-'Z' 'a'-'z' '/' '.' '_']+
 
 rule token = parse
   | SPC          { token lexbuf           }
-  | QT           { let s = text lexbuf in 
+  | QT           { let s = text lexbuf in
                    out s; EP.TEXT s       }
   | ":"          { out ":"; EP.SC         }
   | "("          { out "("; EP.OP         }
   | ")"          { out ")"; EP.CP         }
-  | "ver"   as s { out s; EP.VER          } 
+  | "ver"   as s { out s; EP.VER          }
   | "old"   as s { out s; EP.OLD          }
   | "new"   as s { out s; EP.NEW          }
   | "rel"   as s { out s; EP.REL          }