From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 10 May 2019 15:51:24 +0000 (-0500)
Subject: Disable relational triggers (#2994)
X-Git-Tag: cvc5-1.0.0~4151
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3b407342c06d89910e19373e3c486155464843a7;p=cvc5.git

Disable relational triggers (#2994)
---

diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
index 66bd265d8..0a69178b3 100644
--- a/src/options/quantifiers_options.toml
+++ b/src/options/quantifiers_options.toml
@@ -247,7 +247,7 @@ header = "options/quantifiers_options.h"
   category   = "regular"
   long       = "relational-triggers"
   type       = "bool"
-  default    = "true"
+  default    = "false"
   read_only  = true
   help       = "choose relational triggers such as x = f(y), x >= f(y)"