From db3f4ec746f270cab4142dda8ea3f3c1a25d2dd6 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Sat, 13 Dec 2025 20:40:01 -0600
Subject: Add hypergraph destructor setoid homomorphism

---
 Data/Circuit.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Data/Circuit.agda')

diff --git a/Data/Circuit.agda b/Data/Circuit.agda
index 77d6b72..473e4fc 100644
--- a/Data/Circuit.agda
+++ b/Data/Circuit.agda
@@ -19,7 +19,7 @@ open Func
 
 open Hypergraph using (Multiset∘Edgeₛ)
 open Hypergraph
-  using (_≈_ ; mk≈ ; module Edge)
+  using (_≈_ ; mk≈ ; module Edge; edgesₛ)
   renaming
     ( Hypergraph to Circuit
     ; Hypergraphₛ to Circuitₛ
-- 
cgit v1.2.3