--- a/src/HOL/Tools/sat_solver.ML Sat Jul 16 20:14:58 2011 +0200
+++ b/src/HOL/Tools/sat_solver.ML Sat Jul 16 20:52:41 2011 +0200
@@ -280,7 +280,7 @@
(* ------------------------------------------------------------------------- *)
fun make_external_solver cmd writefn readfn fm =
- (writefn fm; bash cmd; readfn ());
+ (writefn fm; Isabelle_System.bash cmd; readfn ());
(* ------------------------------------------------------------------------- *)
(* read_dimacs_cnf_file: returns a propositional formula that corresponds to *)