Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/SMT/smt_systems.ML
changeset 59035 3a2153676705
parent 59015 627a93f67182
child 59960 372ddff01244 
--- a/src/HOL/Tools/SMT/smt_systems.ML	Mon Nov 24 12:35:13 2014 +0100
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Mon Nov 24 12:35:13 2014 +0100
@@ -96,7 +96,7 @@
 (* veriT *)
 
 val veriT: SMT_Solver.solver_config = {
-  name = "veriT",
+  name = "verit",
   class = K SMTLIB_Interface.smtlibC,
   avail = make_avail "VERIT",
   command = make_command "VERIT",
isabelle