diff -r b2604cd4d131 -r df12779c3ce8 src/HOL/SPARK/Tools/spark.scala
--- a/src/HOL/SPARK/Tools/spark.scala	Wed Nov 03 12:04:22 2021 +0100
+++ b/src/HOL/SPARK/Tools/spark.scala	Wed Nov 03 14:26:13 2021 +0100
@@ -11,12 +11,12 @@
 
 object SPARK
 {
-  class Load_Command1 extends Command_Span.Load_Command("spark_vcg")
+  class Load_Command1 extends Command_Span.Load_Command("spark_vcg", Scala_Project.here)
   {
     override val extensions: List[String] = List("vcg", "fdl", "rls")
   }
 
-  class Load_Command2 extends Command_Span.Load_Command("spark_siv")
+  class Load_Command2 extends Command_Span.Load_Command("spark_siv", Scala_Project.here)
   {
     override val extensions: List[String] = List("siv", "fdl", "rls")
   }