From 61506ab9d74b1b9fc6f580f569fa22e84e557d54 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Wed, 9 Jul 2025 13:48:15 -0500 Subject: Fix broken import --- Data/Circuit/Gate.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Data') diff --git a/Data/Circuit/Gate.agda b/Data/Circuit/Gate.agda index 915ee8b..8ce7e0a 100644 --- a/Data/Circuit/Gate.agda +++ b/Data/Circuit/Gate.agda @@ -4,7 +4,7 @@ module Data.Circuit.Gate where open import Level using (0ℓ) open import Data.Castable using (Castable) -open import Data.Hypergraph.Base using (HypergraphLabel; module Edge; module HypergraphList) +open import Data.Hypergraph.Label using (HypergraphLabel) open import Data.String using (String) open import Data.Nat.Base using (ℕ; _≤_) open import Data.Nat.Properties using (≤-refl; ≤-trans; ≤-antisym; ≤-total) -- cgit v1.2.3