From f3a1c9f4a2d233cd0a3904749d0a5499f7f2c9d9 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 7 Oct 2014 19:16:55 -0400
Subject: [PATCH] update default Sets options

---
 src/theory/sets/options | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/theory/sets/options b/src/theory/sets/options
index ac040881a..6f4b5129d 100644
--- a/src/theory/sets/options
+++ b/src/theory/sets/options
@@ -11,10 +11,10 @@ option setsPropagate --sets-propagate bool :default true
 option setsEagerLemmas --sets-eager-lemmas bool :default true
  add lemmas even at regular effort
 
-option setsCare1 --sets-care1 bool :default false
+expert-option setsCare1 --sets-care1 bool :default false
  generate one lemma at a time for care graph
 
-option setsPropFull --sets-prop-full bool :default false
- agressive propagation
+option setsPropFull --sets-prop-full bool :default true
+ additional propagation at full effort
 
 endmodule
-- 
2.30.2