--- 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
"")