X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtLexer.mll;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtLexer.mll;h=ea5c6e0044e1a45cb1dcfbb78ea31357b72d3421;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=efee66051904cef4606a3dba1c687aaf3cab2b1e;hpb=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

diff --git a/helm/software/lambda-delta/src/text/txtLexer.mll b/helm/software/lambda-delta/src/text/txtLexer.mll
index efee66051..ea5c6e004 100644
--- a/helm/software/lambda-delta/src/text/txtLexer.mll
+++ b/helm/software/lambda-delta/src/text/txtLexer.mll
@@ -44,6 +44,7 @@ and token = parse
    | IX as ix     { out ("IX " ^ ix); TP.IX (int_of_string ix)           }
    | QT           { let s = qstring lexbuf in out ("STR " ^ s); TP.STR s }
    | "\\graph"    { out "GRAPH"; TP.GRAPH }
+   | "\\main"     { out "MAIN"; TP.MAIN   }
    | "\\decl"     { out "DECL"; TP.DECL   }
    | "\\ax"       { out "AX"; TP.AX       }
    | "\\cong"     { out "CONG"; TP.CONG   }