New behaviour of fo_unif: in case of ?f args == t args'

[helm.git] / helm / software / lambda-delta / src / automath / autParser.mly

diff --git a/helm/software/lambda-delta/src/automath/autParser.mly b/helm/software/lambda-delta/src/automath/autParser.mly
index e90ba3b7c12b963702c22f47e9e7805dcd9c605b..31f2c643caa8bccbf50565bee939011bb89ee594 100644 (file)
--- a/helm/software/lambda-delta/src/automath/autParser.mly
+++ b/helm/software/lambda-delta/src/automath/autParser.mly
@@ -24,10 +24,10 @@
  */
 
 %{
-   module O = Options
+   module G = Options
    module A = Aut
 
-   let _ = Parsing.set_trace !O.debug_parser
+   let _ = Parsing.set_trace !G.debug_parser
 %}
    %token <int> NUM
    %token <string> IDENT