fix instance import

TimothyEarley · Jan 2, 2025 · 343b2d3 · 343b2d3
1 parent 3b8edfc
commit 343b2d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/proof/PrfFinite.ard b/src/proof/PrfFinite.ard
@@ -5,6 +5,7 @@
 \import Set.Fin
 \import Set.Subset
 \import decidable.DecLanguage
+\import decidable.FormulaCode
 \import proof.PrfWeaken
 \import proof.Proof
 \import syntax.Context