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

diff --git a/helm/software/helena/src/text/txtParser.mly b/helm/software/helena/src/text/txtParser.mly
index d08fb87d9..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
@@ -68,7 +70,7 @@
       | sort CM sorts { $1 :: $3 }
    ;
    layer:
-      |       { N.infinite  }
+      |       { N.infinity  }
       | CT IX { N.finite $2 }
    ;