frameit fix

UniFormal · Dec 30, 2023 · 174f660 · 174f660
1 parent cdf8ec1
commit 174f660
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/frameit-mmt/src/info/kwarc/mmt/frameit/communication/server/Server.scala b/src/frameit-mmt/src/info/kwarc/mmt/frameit/communication/server/Server.scala
@@ -57,7 +57,7 @@ object Server extends IOApp /*with TwitterServer with EndpointModule[IO]*/ {
 
     // force-read relational data as [[info.kwarc.mmt.frameit.business.datastructures.Scroll]] uses
     // the depstore
-    frameitArchive.readRelational(FilePath("/"), ctrl, "rel")
+    frameitArchive.readRelational(FilePath(Nil), ctrl, "rel")
     // increase performance by prefetching archive content? ctrl.backend.getArchives.foreach(_.allContent)
 
     val situationTheory = if (debug()) Some(new SituationTheory(FrameWorld.debugSituationTheory)) else None