changing default (#1944)

diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
index d784447c6f4ec6949b44a9247edd7a86bad3c8f6..107f3896ff7d8450d21e537c5bed049640ed0628 100644 (file)
--- a/src/options/quantifiers_options.toml
+++ b/src/options/quantifiers_options.toml
@@ -972,7 +972,7 @@ header = "options/quantifiers_options.h"
   category   = "regular"
   long       = "sygus-bool-ite-return-const"
   type       = "bool"
-  default    = "false"
+  default    = "true"
   help       = "Only use Boolean constants for return values in unification-based function synthesis"
 
 [[option]]