tuned;
authorwenzelm
Wed Nov 29 10:32:42 2017 +0100 (7 months ago)
changeset 6710666fda545327f
parent 67105 05ff3e6dbbce
child 67107 cef76a19125e
tuned;
src/HOL/Tools/Nunchaku/nunchaku_tool.ML
     1.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Wed Nov 29 10:27:56 2017 +0100
     1.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Wed Nov 29 10:32:42 2017 +0100
     1.3 @@ -98,7 +98,7 @@
     1.4            "PATH=\"$CVC4_HOME:$KODKODI/bin:$SMBC_HOME:$PATH\" \"$" ^
     1.5            nunchaku_home_env_var ^ "\"/nunchaku --skolems-in-model --no-color " ^
     1.6            (if specialize then "" else "--no-specialize ") ^
     1.7 -          "--solvers \"" ^ space_implode "," (map Bash_Syntax.string solvers) ^ "\" " ^
     1.8 +          "--solvers \"" ^ space_implode "," (map Bash.string solvers) ^ "\" " ^
     1.9            "--timeout " ^ string_of_int (Time.toSeconds timeout) ^ " " ^
    1.10            "--kodkod-min-bound " ^ string_of_int min_bound ^ " " ^
    1.11            (case max_bound of NONE => "" | SOME n => "--kodkod-max-bound " ^ string_of_int n ^ " ") ^