new message reporting system improves performance significatively

[helm.git] / helm / software / helena / src / automath / autLexer.mll

diff --git a/helm/software/helena/src/automath/autLexer.mll b/helm/software/helena/src/automath/autLexer.mll
index c0bc55afd2bd292ad96031fa3d8259d5ccdfb5b9..67d8ccd55b974433fbb03a43d67d8a1c8dd6ce40 100644 (file)
--- a/helm/software/helena/src/automath/autLexer.mll
+++ b/helm/software/helena/src/automath/autLexer.mll
@@ -13,8 +13,10 @@
    module L  = Log
    module G  = Options
    module AP = AutParser
+
+   let level = 0
    
-   let out s = if !G.debug_lexer then L.warn s else ()
+   let out s = if !G.debug_lexer then L.warn level s else ()
 
 (* This turns an Automath identifier into an XML nmtoken *)
    let quote id =