X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftext%2FtxtLexer.mll;fp=helm%2Fsoftware%2Flambda-delta%2Ftext%2FtxtLexer.mll;h=624454b673548fbf66a8048140fe526ad2ba1ffe;hb=a3b9fc77770f42070632bcb575546678025e09b2;hp=073fabcba31ffd244414179de60224c9785e46e6;hpb=d96386684e06473c5fbce2707052cf1732831d5c;p=helm.git

diff --git a/helm/software/lambda-delta/text/txtLexer.mll b/helm/software/lambda-delta/text/txtLexer.mll
index 073fabcba..624454b67 100644
--- 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    = "\\"