- improved support for case

[helm.git] / matita / components / binaries / matex / options.ml

diff --git a/matita/components/binaries/matex/options.ml b/matita/components/binaries/matex/options.ml
index 81cf705bae64e91486872c228e05647a8aea5e8f..1a252214221af200d57194b58a03b0609191c453 100644 (file)
--- 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