Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use proper syntax with nunchaku tool
authorblanchet
Fri, 08 Sep 2017 00:01:52 +0200
changeset 66615 7706577cd10e
parent 66614 1f1c5d85d232
child 66616 ee56847876b2
use proper syntax with nunchaku tool
src/HOL/Tools/Nunchaku/nunchaku_tool.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Fri Sep 08 00:01:36 2017 +0200
+++ b/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Fri Sep 08 00:01:52 2017 +0200
@@ -89,7 +89,7 @@
           "PATH=\"$CVC4_HOME:$KODKODI/bin:$PATH\" \"$" ^
           nunchaku_home_env_var ^ "\"/nunchaku --skolems-in-model --no-color " ^
           (if specialize then "" else "--no-specialize ") ^
-          "--solvers \"" ^ Bash_Syntax.string (space_implode " " solvers) ^ "\" " ^
+          "--solvers \"" ^ Bash_Syntax.string (space_implode "," solvers) ^ "\" " ^
           "--timeout " ^ string_of_int (Time.toSeconds timeout) ^ " " ^
           File.bash_path prob_path;
         val comments =
isabelle