--- a/src/HOL/Tools/ATP/atp_systems.ML Tue Aug 07 22:32:14 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Tue Aug 07 22:54:27 2012 +0200
@@ -353,7 +353,7 @@
val iprover_config : atp_config =
{exec = (["IPROVER_HOME"], ["iprover"]),
arguments = fn _ => fn _ => fn _ => fn timeout => fn _ =>
- "--clausifier $IPROVER_HOME/vclausify_rel --time_out_real " ^
+ "--clausifier \"$IPROVER_HOME\"/vclausify_rel --time_out_real " ^
string_of_real (Time.toReal timeout),
proof_delims = tstp_proof_delims,
known_failures =