# HG changeset patch
# User blanchet
# Date 1399220099 -7200
# Node ID 67e6803e3765d2b12dbe8e07f18d9faffbf58cfa
# Parent  3e369d8610c415560d01c321f563e3ac7ba12046
added missing space between command-line options

diff -r 3e369d8610c4 -r 67e6803e3765 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun May 04 18:14:58 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun May 04 18:14:59 2014 +0200
@@ -575,7 +575,7 @@
        (if is_vampire_at_least_1_8 () then
           (* Cf. p. 20 of http://www.complang.tuwien.ac.at/lkovacs/Cade23_Tutorial_Slides/Session2_Slides.pdf *)
           (if full_proof then
-             "--forced_options splitting=off:equality_proxy=off:general_splitting=off\
+             " --forced_options splitting=off:equality_proxy=off:general_splitting=off\
              \:inequality_splitting=0:naming=0"
            else
              "")