projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b0ef3a7)
Fix typo in smt_options.toml. (#3579)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 19 Dec 2019 17:52:26 +0000 (09:52 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2019 17:52:26 +0000 (09:52 -0800)
src/options/smt_options.toml patch | blob | history

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index ba62a64551fc1502abfbce17f48a1831d41dfd74..cd8a530fc8e7a1561ea688486f42f5385bcbed0f 100644 (file)
--- 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]]