X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2FproofEngineStructuralRules.ml;h=d89420f58cde8526c4d578341db8633db23c7f10;hb=4552f835b71ca9529bf5b07d0dd2b1c699ecf928;hp=e01f95e9f02f121287fcc1416401878e1ac53263;hpb=4720c6af414c4a834a994fdb404fda2d0c04fc03;p=helm.git

diff --git a/helm/gTopLevel/proofEngineStructuralRules.ml b/helm/gTopLevel/proofEngineStructuralRules.ml
index e01f95e9f..d89420f58 100644
--- a/helm/gTopLevel/proofEngineStructuralRules.ml
+++ b/helm/gTopLevel/proofEngineStructuralRules.ml
@@ -36,7 +36,7 @@ let clearbody ~hyp ~status:(proof, goal) =
         let string_of_name =
          function
             C.Name n -> n
-          | C.Anonimous -> "_"
+          | C.Anonymous -> "_"
         in
         let metasenv' =
          List.map
@@ -101,7 +101,7 @@ let clear ~hyp:hyp_to_clear ~status:(proof, goal) =
         let string_of_name =
          function
             C.Name n -> n
-          | C.Anonimous -> "_"
+          | C.Anonymous -> "_"
         in
         let metasenv' =
          List.map