From d4a6f0ded590e06cad1c69933cbbcfe3bde6d049 Mon Sep 17 00:00:00 2001
From: zeramorphic <zeramorphic@proton.me>
Date: Tue, 20 Aug 2024 11:40:49 +0100
Subject: [PATCH] Update ConNF.lean

Signed-off-by: zeramorphic <zeramorphic@proton.me>
---
 ConNF.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ConNF.lean b/ConNF.lean
index 71b4efabdd..d78157dbb9 100644
--- a/ConNF.lean
+++ b/ConNF.lean
@@ -3,4 +3,5 @@ import ConNF.Aux.Ordinal
 import ConNF.Aux.Transfer
 import ConNF.Aux.WellOrder
 import ConNF.Setup.Params
+import ConNF.Setup.Small
 import ConNF.Setup.TypeIndex