diff options
author | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-06 17:29:13 +0000 |
---|---|---|
committer | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-06 17:29:13 +0000 |
commit | f4b3d1ff672a4628127ffedaf3adb27348d12e6e (patch) | |
tree | e639b863bdbac3393a94398ac90b38150f6b8989 /pretyping/typeclasses.mli | |
parent | 33338cf1019999c5c17fcde8c0dbfd4c26ed2b7a (diff) |
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
Diffstat (limited to 'pretyping/typeclasses.mli')
-rw-r--r-- | pretyping/typeclasses.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli index 1f1bdb4ff..833cec6d5 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 |