]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/src/text/txtParser.mly
we renamed the module abbreviations according to src/modules.ml
[helm.git] / helm / software / lambda-delta / src / text / txtParser.mly
index 694e308913178f912d176590ec0c1904bcb1fdc0..415b594ca7442f1ec7773cd53e51395325c231e7 100644 (file)
  */
 
 %{
-   module O = Options
+   module G = Options
    module T = Txt
    
-   let _ = Parsing.set_trace !O.debug_parser
+   let _ = Parsing.set_trace !G.debug_parser
 %}
    %token <int> IX
    %token <string> ID STR