LATIN2 build order

UniFormal · Dec 22, 2020 · 13ac1db · 13ac1db
1 parent d6b94e6
commit 13ac1db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mmt-lf/src/info/kwarc/mmt/test/LFTest.scala b/src/mmt-lf/src/info/kwarc/mmt/test/LFTest.scala
@@ -35,7 +35,7 @@ object Orders {
   val latin2 = List(
     "fundamentals/concepts.mmt",
     "fundamentals/relations.mmt",
-    "fundamentals/base-languages.mmt",
+    "fundamentals/base_languages.mmt",
     "fundamentals/equality.mmt",
     "fundamentals/subtyping.mmt",
     "fundamentals/informal.mmt",