update default Sets options

diff --git a/src/theory/sets/options b/src/theory/sets/options
index ac040881a63b7d2d91739c1c369efe60eb0503ea..6f4b5129d77cd44365b1ee415bcb93d490bcd0bf 100644 (file)
--- 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