From 162f06f2d580bfcbda9976296e95c6e581c1dc92 Mon Sep 17 00:00:00 2001
From: aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 4 Oct 2010 17:57:23 +0000
Subject: Two [Evd.fold] turned into [Evd.fold_undefined].

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13491 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/himsg.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml
index 6f1d0473a..c3eb23ff6 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -524,10 +524,9 @@ let explain_no_instance env (_,id) l =
     prlist_with_sep pr_spc (pr_lconstr_env env) l
 
 let undefined_evars evm =
-  Evd.fold (fun ev evi undef ->
-    if evi.evar_body = Evar_empty then
+  Evd.fold_undefined (fun ev evi undef ->
       Evd.add undef ev (Evarutil.nf_evar_info evm evi)
-    else undef) evm Evd.empty
+  ) evm Evd.empty
 
 let pr_constraints printenv env evm =
   let evm = undefined_evars evm in
-- 
cgit v1.2.3