- we simplified the parser return values

[helm.git] / helm / software / lambda-delta / automath / autLexer.mll

diff --git a/helm/software/lambda-delta/automath/autLexer.mll b/helm/software/lambda-delta/automath/autLexer.mll
index 51f1e7cb92513197a3619e524eab01fe4698884b..cb33d0c3fd414231f2d723aa480eb21769fae566 100644 (file)
--- a/helm/software/lambda-delta/automath/autLexer.mll
+++ b/helm/software/lambda-delta/automath/autLexer.mll
@@ -14,8 +14,7 @@
    module O = Options
    module P = AutParser
    
-   let debug = false
-   let out s = if debug then L.warn s else ()
+   let out s = if !O.debug_lexer then L.warn s else ()
 
 (* This turns an Automath identifier into an XML nmtoken *)
    let quote id =