From 9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 19 Apr 2011 16:44:20 +0200
Subject: Imported Upstream version 8.3.pl2

---
 tactics/class_tactics.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tactics/class_tactics.ml4')

diff --git a/tactics/class_tactics.ml4 b/tactics/class_tactics.ml4
index afd13b4c..66f15fbe 100644
--- a/tactics/class_tactics.ml4
+++ b/tactics/class_tactics.ml4
@@ -8,7 +8,7 @@
 
 (*i camlp4deps: "parsing/grammar.cma" i*)
 
-(* $Id: class_tactics.ml4 13332 2010-07-26 22:12:43Z msozeau $ *)
+(* $Id: class_tactics.ml4 13902 2011-03-10 15:50:24Z msozeau $ *)
 
 open Pp
 open Util
@@ -85,7 +85,7 @@ let evars_to_goals p evm =
     if goals = [] then None
     else
       let goals = List.rev goals in
-      let evm' = evars_reset_evd evm' evm in
+      let evm' = evars_reset_evd ~with_conv_pbs:false evm' evm in
 	Some (goals, evm')
 
 (** Typeclasses instance search tactic / eauto *)
-- 
cgit v1.2.3