From 15d36d99363b4ee20754498b566bd315150953fc Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 12 Mar 2014 10:51:55 -0500 Subject: Minor fixes post-merge of RR. --- src/theory/quantifiers/quant_conflict_find.h | 1 - 1 file changed, 1 deletion(-) (limited to 'src/theory/quantifiers/quant_conflict_find.h') diff --git a/src/theory/quantifiers/quant_conflict_find.h b/src/theory/quantifiers/quant_conflict_find.h index 090af8143..62bd347c7 100755 --- a/src/theory/quantifiers/quant_conflict_find.h +++ b/src/theory/quantifiers/quant_conflict_find.h @@ -226,7 +226,6 @@ public: enum { effort_conflict, effort_prop_eq, - effort_partial, effort_mc, }; short d_effort; -- cgit v1.2.3