diff --git a/src/mmt-lf/src/info/kwarc/mmt/test/LFTest.scala b/src/mmt-lf/src/info/kwarc/mmt/test/LFTest.scala
index 9e3015a170..89f9673925 100644
--- 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",