src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
changeset 62549 9498623b27f0
parent 59184 830bb7ddb3ab
child 63507 79122bdd4404
--- a/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML	Mon Mar 07 20:44:47 2016 +0100
+++ b/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML	Mon Mar 07 21:09:28 2016 +0100
@@ -40,7 +40,7 @@
 
         val (output, rc) =
           Isabelle_System.bash_output
-            ("\"$ISABELLE_CSDP\" " ^ File.shell_path in_path ^ " " ^ File.shell_path out_path)
+            ("\"$ISABELLE_CSDP\" " ^ File.bash_path in_path ^ " " ^ File.bash_path out_path)
         val _ = Sum_of_Squares.debug_message ctxt (fn () => "Solver output:\n" ^ output)
 
         val result = if File.exists out_path then File.read out_path else ""