From ead724589b51d672bb2d5b38fff8415e9a83ee84 Mon Sep 17 00:00:00 2001
From: zeramorphic <50671761+zeramorphic@users.noreply.github.com>
Date: Tue, 3 Dec 2024 21:33:18 +0000
Subject: [PATCH] Update ConNF.lean

---
 ConNF.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ConNF.lean b/ConNF.lean
index 006f8a6262..35073869be 100644
--- a/ConNF.lean
+++ b/ConNF.lean
@@ -16,8 +16,10 @@ import ConNF.Base.Position
 import ConNF.Base.Small
 import ConNF.Base.TypeIndex
 import ConNF.Coherent.CoherentData
+import ConNF.Coherent.Enumeration
 import ConNF.Coherent.Fuzz
 import ConNF.Coherent.ModelData
+import ConNF.Coherent.PathEnumeration
 import ConNF.Coherent.Support
 import ConNF.Construction.Code
 import ConNF.Construction.NewModelData
@@ -39,10 +41,8 @@ import ConNF.FOA.StrApprox
 import ConNF.FOA.StrApproxFOA
 import ConNF.Levels.BasePositions
 import ConNF.Levels.Deny
-import ConNF.Coherent.Enumeration
 import ConNF.Levels.Level
 import ConNF.Levels.Path
-import ConNF.Coherent.PathEnumeration
 import ConNF.Levels.StrPerm
 import ConNF.Levels.StrSet
 import ConNF.Levels.Tree