# HG changeset patch
# User blanchet
# Date 1344372867 -7200
# Node ID 95669b431edd6ea7fc1c0b2406d48da241213fb6
# Parent  9775c2957000a4ad51f2aa5524ea8f45f01b2b50
proper quoting

diff -r 9775c2957000 -r 95669b431edd src/HOL/Tools/ATP/atp_systems.ML
--- 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 =