- we simplified the parser return values

[helm.git] / helm / software / lambda-delta / text / txtLexer.mll

diff --git a/helm/software/lambda-delta/text/txtLexer.mll b/helm/software/lambda-delta/text/txtLexer.mll
index 073fabcba31ffd244414179de60224c9785e46e6..624454b673548fbf66a8048140fe526ad2ba1ffe 100644 (file)
--- a/helm/software/lambda-delta/text/txtLexer.mll
+++ b/helm/software/lambda-delta/text/txtLexer.mll
@@ -11,10 +11,10 @@
 
 { 
    module L = Log
+   module O = Options
    module P = TxtParser
    
-   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 ()
 }
 
 let BS    = "\\"