diff options
Diffstat (limited to 'Data/Circuit.agda')
| -rw-r--r-- | Data/Circuit.agda | 2 |
1 files changed, 1 insertions, 1 deletions
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ₛ |