- conditional compilation continues ...

[helm.git] / helm / software / helena / src / automath / autParser.mly

diff --git a/helm/software/helena/src/automath/autParser.mly b/helm/software/helena/src/automath/autParser.mly
index 31f2c643caa8bccbf50565bee939011bb89ee594..ad98a00cbca625aa04e1850612db76bc6744fc33 100644 (file)
--- 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