]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/text/txtParser.mly
- conditional compilation continues ...
[helm.git] / helm / software / helena / src / text / txtParser.mly
index 32d0df309a54b480f4cde71fea8c7189fc33b750..32a0decaf721f8cce9dc43ef7843dc504668c7e6 100644 (file)
    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