LATIN2 build order

UniFormal · Dec 22, 2020 · aa49770 · aa49770
1 parent 13ac1db
commit aa49770
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
@@ -39,7 +39,7 @@ object Orders {
     "fundamentals/equality.mmt",
     "fundamentals/subtyping.mmt",
     "fundamentals/informal.mmt",
-    "fundamentals/type-equality.mmt",
+    "fundamentals/type_equality.mmt",
 
     "algebra/magmas-lf.mmt",