chore: move Inference to Plfl.More

rami3l · Jul 23, 2023 · ebe490e · ebe490e
1 parent ca7e2c7
commit ebe490e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Plfl.lean b/Plfl.lean
@@ -4,7 +4,7 @@ import Plfl.DeBruijn
 import Plfl.More
 import Plfl.More.DoubleSubst
 import Plfl.More.Bisimulation
-import Plfl.Inference
+import Plfl.More.Inference
 import Plfl.Untyped
 import Plfl.Untyped.Confluence
 import Plfl.Untyped.Substitution

diff --git a/Plfl/Inference.lean → Plfl/More/Inference.lean b/Plfl/Inference.lean → Plfl/More/Inference.lean