X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Foptions.ml;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2Foptions.ml;h=1a252214221af200d57194b58a03b0609191c453;hb=f462726eaf4edb5852851ec5d265cdafe9d3a78d;hp=81cf705bae64e91486872c228e05647a8aea5e8f;hpb=ffc3e681a82dc32269cc87407a95db6c922d3bfb;p=helm.git

diff --git a/matita/components/binaries/matex/options.ml b/matita/components/binaries/matex/options.ml
index 81cf705ba..1a2522142 100644
--- a/matita/components/binaries/matex/options.ml
+++ b/matita/components/binaries/matex/options.ml
@@ -68,6 +68,8 @@ let alpha_type = ref default_alpha          (* data for type-based alpha-convers
 
 let alpha_sort = ref default_alpha          (* data for sort-based alpha-conversion *)
 
+let alpha_gref = ref default_alpha          (* data for constant renaming *)
+
 let macro_gref = ref default_macro          (* data eta-conversion and constant rendering *)
 
 let is_global_id s =
@@ -90,4 +92,5 @@ let clear () =
    list_och := default_list_och;
    alpha_type := default_alpha;
    alpha_sort := default_alpha;
+   alpha_gref := default_alpha;
    macro_gref := default_macro