- matex: minor improvements

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

diff --git a/matita/components/binaries/matex/alpha.ml b/matita/components/binaries/matex/alpha.ml
index 4c4eccef70c0a81fad22842244f41547d10ea80f..6420d20c67d92fbb563efa8a08b89fe1cd334a0d 100644 (file)
--- a/matita/components/binaries/matex/alpha.ml
+++ b/matita/components/binaries/matex/alpha.ml
@@ -165,7 +165,7 @@ and proc_terms st ts =
 let proc_named_term s st t =
 try
    let tt = proc_term st t in
-   if !G.test then begin
+   if !G.check then begin
       let _ = K.typeof st.c tt in
       ok s
    end;