X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fanticipate.ml;h=645d7b4170f19e2d628fc775512c721863d180ee;hb=58ea181757dce19b875b2f5a224fe193b2263004;hp=e6f51e55413ae3f391f413a7152fe2675265ef11;hpb=2fa001c86e37c76c840122655cb4ffba8bb30cad;p=helm.git

diff --git a/matita/components/binaries/matex/anticipate.ml b/matita/components/binaries/matex/anticipate.ml
index e6f51e554..645d7b417 100644
--- 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;