From aa49770840be02c938968e29c0dc93d638624c3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= Date: Tue, 22 Dec 2020 10:59:54 +0100 Subject: [PATCH] LATIN2 build order --- src/mmt-lf/src/info/kwarc/mmt/test/LFTest.scala | 2 +- 1 file changed, 1 insertion(+), 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 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",