From c64504b819074eb0b295f1b6ea67243ea05cdf9e Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 16 Feb 2026 19:33:56 -0800 Subject: [PATCH] Fix broken code by moving fins to utils Signed-off-by: Danila Fedorin --- Language/Graphs.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Language/Graphs.agda b/Language/Graphs.agda index 69be333..f65cb6f 100644 --- a/Language/Graphs.agda +++ b/Language/Graphs.agda @@ -18,7 +18,7 @@ open import Relation.Binary.PropositionalEquality as Eq using (_≡_; sym; refl; open import Relation.Nullary using (¬_) open import Lattice -open import Utils using (Unique; push; Unique-map; x∈xs⇒fx∈fxs; ∈-cartesianProduct) +open import Utils using (Unique; push; Unique-map; x∈xs⇒fx∈fxs; ∈-cartesianProduct; fins; fins-complete) record Graph : Set where constructor MkGraph