update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / rolesLexer.mll

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll b/matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll
index 372446fc72aded6c875a47909825b76b62d7740c..64c4545174864f65f6f7485d3928ddf6bc388470 100644 (file)
--- 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          }