From 0a2d03537beaf5ba2ca07176cccba6ce6c6532b2 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Mon, 23 Jan 2012 20:51:29 +0000
Subject: Fix for Program Instance not separately checking the resolution of
 evars of the type (mandatory) and the fields (optional)

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

(limited to 'pretyping/typeclasses.mli')

diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli
index 74ccaf834f..b49eeac4fc 100644
--- a/pretyping/typeclasses.mli
+++ b/pretyping/typeclasses.mli
@@ -84,6 +84,7 @@ val instance_constructor : typeclass -> constr list -> constr option * types
 val is_resolvable : evar_info -> bool
 val mark_unresolvable : evar_info -> evar_info
 val mark_unresolvables : evar_map -> evar_map
+val mark_resolvables : evar_map -> evar_map
 val is_class_evar : evar_map -> evar_info -> bool
 
 val resolve_typeclasses : ?onlyargs:bool -> ?split:bool -> ?fail:bool ->
-- 
cgit v1.2.3