subst: always use a linked map

aya-prover · Jan 7, 2023 · 3506b7b · 3506b7b
1 parent ef94733
commit 3506b7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/aya/core/visitor/Subst.java b/base/src/main/java/org/aya/core/visitor/Subst.java
@@ -42,7 +42,7 @@ public record Subst(
   }));
 
   public Subst() {
-    this(MutableMap.create());
+    this(MutableLinkedHashMap.of());
   }
 
   public Subst(@NotNull AnyVar var, @NotNull Term term) {