From f4b3d1ff672a4628127ffedaf3adb27348d12e6e Mon Sep 17 00:00:00 2001
From: puech
Date: Sat, 6 Dec 2008 17:29:13 +0000
Subject: Fix exponential behaviour of the typeclasses persistent objects. Drop
 unused methods object. Matthieu please review this change (after monday), I
 might have introduced a bug in rebuild_instance.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11659 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/typeclasses.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'pretyping/typeclasses.mli')

diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli
index 1f1bdb4ffc..833cec6d50 100644
--- a/pretyping/typeclasses.mli
+++ b/pretyping/typeclasses.mli
@@ -65,7 +65,6 @@ val instance_impl : instance -> constant
 
 val is_class : global_reference -> bool
 val is_instance : global_reference -> bool
-val is_method : constant -> bool
 
 val is_implicit_arg : hole_kind -> bool
 
-- 
cgit v1.2.3