--- a/src/HOL/SPARK/SPARK_Setup.thy Thu Feb 27 17:29:58 2014 +0100
+++ b/src/HOL/SPARK/SPARK_Setup.thy Thu Feb 27 17:39:20 2014 +0100
@@ -183,6 +183,4 @@
ML_file "Tools/spark_vcs.ML"
ML_file "Tools/spark_commands.ML"
-setup SPARK_Commands.setup
-
end