X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FproofEngineHelpers.ml;h=16be77edb443c84c3c7845182564dacfb1601cce;hb=30ad9beff172b797049b772e0a710c466c9ed18a;hp=84eaa2559ae383a3d83f9de0b36d8998aba7e985;hpb=2a825bacd5664c01ae56ed1255390a5972d1e8b9;p=helm.git

diff --git a/helm/ocaml/tactics/proofEngineHelpers.ml b/helm/ocaml/tactics/proofEngineHelpers.ml
index 84eaa2559..16be77edb 100644
--- a/helm/ocaml/tactics/proofEngineHelpers.ml
+++ b/helm/ocaml/tactics/proofEngineHelpers.ml
@@ -39,8 +39,7 @@ let mk_fresh_name context name ~typ =
            | C.Sort C.Set -> "x"
            | _ -> "H"
          )
-        with _ ->
-         "H"
+        with CicTypeChecker.TypeCheckerFailure _ -> "H"
        )
     | C.Name name ->
        Str.global_replace (Str.regexp "[0-9]*$") "" name