src/HOL/SPARK/Tools/spark.scala

 import isabelle._
 
 
 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")
   }
 }