From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 19 Dec 2019 17:52:26 +0000 (-0800)
Subject: Fix typo in smt_options.toml. (#3579)
X-Git-Tag: cvc5-1.0.0~3751
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc2b801ec4ad83e013c302e7608238feef386a8a;p=cvc5.git

Fix typo in smt_options.toml. (#3579)
---

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index ba62a6455..cd8a530fc 100644
--- a/src/options/smt_options.toml
+++ b/src/options/smt_options.toml
@@ -134,7 +134,7 @@ header = "options/smt_options.h"
   name = "literals"
   help = "Block models based on the SAT skeleton."
 [[option.mode.VALUES]]
-  name = "valuels"
+  name = "values"
   help = "Block models based on the concrete model values for the free variables."
 
 [[option]]