From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Sat, 19 May 2018 01:49:13 +0000 (-0500)
Subject: changing default (#1944)
X-Git-Tag: cvc5-1.0.0~5036
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d3e6165f3766d20e21a5e2c206919aac3a24df3c;p=cvc5.git

changing default (#1944)
---

diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
index d784447c6..107f3896f 100644
--- 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]]