From cce1b6f06f9802f4d7c977322cec654ad2582d63 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 12 Feb 2015 16:43:28 +0100
Subject: Fix bug #3960: potential evar instance categorized as an unresolvable
 goal in Instance. Also remove some dead code.

---
 pretyping/typeclasses.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'pretyping/typeclasses.mli')

diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli
index 1a0b6696a8..b3170b9702 100644
--- a/pretyping/typeclasses.mli
+++ b/pretyping/typeclasses.mli
@@ -77,8 +77,6 @@ val instance_priority : instance -> int option
 val is_class : global_reference -> bool
 val is_instance : global_reference -> bool
 
-val is_implicit_arg : Evar_kinds.t -> bool
-
 (** Returns the term and type for the given instance of the parameters and fields
    of the type class. *)
 
-- 
cgit v1.2.3