- matex: minor improvements

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

diff --git a/matita/components/binaries/matex/anticipate.ml b/matita/components/binaries/matex/anticipate.ml
index e6f51e55413ae3f391f413a7152fe2675265ef11..645d7b4170f19e2d628fc775512c721863d180ee 100644 (file)
--- a/matita/components/binaries/matex/anticipate.ml
+++ b/matita/components/binaries/matex/anticipate.ml
@@ -104,7 +104,7 @@ let shift_named_term s c t =
 try
    fresh := 0;
    let tt = shift_term c t in
-   if !G.test then begin
+   if !G.check then begin
       let _ = K.typeof c tt in
       ok s
    end;