From b651e4d5153fc360d1943de3b73e910fc1f2b7ff Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Wed, 29 Oct 2025 12:52:04 -0500
Subject: Add Circuit type

---
 Data/Circuit/Gate.agda | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Data/Circuit/Gate.agda')

diff --git a/Data/Circuit/Gate.agda b/Data/Circuit/Gate.agda
index 8ce7e0a..f4b55de 100644
--- a/Data/Circuit/Gate.agda
+++ b/Data/Circuit/Gate.agda
@@ -108,8 +108,8 @@ _≟_ {n} x y = Dec.map′ toℕ-injective (cong (toℕ n)) (toℕ n x Nat.≟ t
 _≤?_ : {n : ℕ} → Decidable (n [_≤_])
 _≤?_ {n} x y = toℕ n x Nat.≤? toℕ n y
 
-GateLabel : HypergraphLabel
-GateLabel = record
+Gates : HypergraphLabel
+Gates = record
     { Label = Gate
     ; showLabel = showGate
     ; isCastable = record
-- 
cgit v1.2.3