From 8fc2509f354b02ec4e0a3eb6fabc329109686c47 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Wed, 5 Mar 2014 16:50:04 +0100 Subject: Remove some dead-code (thanks to ocaml warnings) The removed code isn't used locally and isn't exported in the signature --- pretyping/typeclasses_errors.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pretyping/typeclasses_errors.ml') diff --git a/pretyping/typeclasses_errors.ml b/pretyping/typeclasses_errors.ml index a6a9a75c5..b16f000d4 100644 --- a/pretyping/typeclasses_errors.ml +++ b/pretyping/typeclasses_errors.ml @@ -48,7 +48,7 @@ let unsatisfiable_constraints env evd ev comp = let mismatched_ctx_inst env c n m = typeclass_error env (MismatchedContextInstance (c, n, m)) -let rec unsatisfiable_exception exn = +let unsatisfiable_exception exn = match exn with | TypeClassError (_, UnsatisfiableConstraints _) -> true | _ -> false -- cgit v1.2.3