Fix ConNF.lean

Signed-off-by: zeramorphic <[email protected]>
leanprover-community · Sep 22, 2024 · 34b488a · 34b488a
1 parent bddebd7
commit 34b488a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ConNF.lean b/ConNF.lean
@@ -5,13 +5,13 @@ import ConNF.Aux.Rel
 import ConNF.Aux.Set
 import ConNF.Aux.Transfer
 import ConNF.Aux.WellOrder
-import ConNF.FOA.Approximates
 import ConNF.FOA.BaseAction
 import ConNF.FOA.BaseApprox
 import ConNF.FOA.Coherent
 import ConNF.FOA.FlexApprox
 import ConNF.FOA.Inflexible
 import ConNF.FOA.StrAction
+import ConNF.FOA.StrActionFOA
 import ConNF.FOA.StrApprox
 import ConNF.Setup.Atom
 import ConNF.Setup.BasePerm