X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fautomath%2FautParser.mly;h=ad98a00cbca625aa04e1850612db76bc6744fc33;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=31f2c643caa8bccbf50565bee939011bb89ee594;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/automath/autParser.mly b/helm/software/helena/src/automath/autParser.mly
index 31f2c643c..ad98a00cb 100644
--- a/helm/software/helena/src/automath/autParser.mly
+++ b/helm/software/helena/src/automath/autParser.mly
@@ -27,7 +27,9 @@
    module G = Options
    module A = Aut
 
+IFDEF PARSER THEN
    let _ = Parsing.set_trace !G.debug_parser
+END
 %}
    %token <int> NUM
    %token <string> IDENT