X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Ftext%2FtxtParser.mly;h=32a0decaf721f8cce9dc43ef7843dc504668c7e6;hb=586c361209ac14e8c2b1da3509041c0c82a86c92;hp=32d0df309a54b480f4cde71fea8c7189fc33b750;hpb=2cf2e883f91164ce614bdc86b5c5e2419b98f68d;p=helm.git

diff --git a/helm/software/helena/src/text/txtParser.mly b/helm/software/helena/src/text/txtParser.mly
index 32d0df309..32a0decaf 100644
--- a/helm/software/helena/src/text/txtParser.mly
+++ b/helm/software/helena/src/text/txtParser.mly
@@ -27,8 +27,10 @@
    module G  = Options
    module N  = Layer
    module T  = Txt
-   
+
+IFDEF PARSER THEN   
    let _ = Parsing.set_trace !G.debug_parser
+END
 %}
    %token <int> IX
    %token <string> ID STR