From 343b2d322d7890d637b78d98e86d6db2d446d7ac Mon Sep 17 00:00:00 2001
From: Timothy Earley <timothy.earley@deutschebahn.com>
Date: Thu, 2 Jan 2025 17:45:35 +0100
Subject: [PATCH] fix instance import

---
 src/proof/PrfFinite.ard | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/proof/PrfFinite.ard b/src/proof/PrfFinite.ard
index aa5f28c..17d7086 100644
--- 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