Removed several try .... with _ -> (which make thread killing impossible ;-((

[helm.git] / helm / ocaml / tactics / proofEngineHelpers.ml

diff --git a/helm/ocaml/tactics/proofEngineHelpers.ml b/helm/ocaml/tactics/proofEngineHelpers.ml
index 84eaa2559ae383a3d83f9de0b36d8998aba7e985..16be77edb443c84c3c7845182564dacfb1601cce 100644 (file)
--- 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