X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautLexer.mll;h=51f1e7cb92513197a3619e524eab01fe4698884b;hb=ab739c4972971725f59c52275a3257ebf524143f;hp=b7009f9240011a28392d02c760c7a7b8dade963d;hpb=3f6af93003bef461be59c8d4c96009c631f0c2e7;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autLexer.mll b/helm/software/lambda-delta/automath/autLexer.mll
index b7009f924..51f1e7cb9 100644
--- a/helm/software/lambda-delta/automath/autLexer.mll
+++ b/helm/software/lambda-delta/automath/autLexer.mll
@@ -11,13 +11,12 @@
 
 { 
    module L = Log
+   module O = Options
    module P = AutParser
    
    let debug = false
    let out s = if debug then L.warn s else ()
 
-   let unquote = ref false
-
 (* This turns an Automath identifier into an XML nmtoken *)
    let quote id =
       let l = String.length id in
@@ -69,7 +68,7 @@ and token = parse
    | "'type'" { out "TYPE"; P.TYPE   }
    | ID       { out "ID"; 
                    let s = Lexing.lexeme lexbuf in
-                   if !unquote then P.IDENT s else P.IDENT (quote s)
+                   if !O.unquote then P.IDENT s else P.IDENT (quote s)
               }
    | ":="     { out "DEF"; P.DEF     }
    | "("      { out "OP"; P.OP       }