From d91f74bce9a8eb1dd38f74de5fae597bde54df5a Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Fri, 18 Jul 2025 17:45:53 -0500
Subject: Add Hypergraph setoid

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

(limited to 'Data/Hypergraph/Base.agda')

diff --git a/Data/Hypergraph/Base.agda b/Data/Hypergraph/Base.agda
index e43cbce..5cf5388 100644
--- a/Data/Hypergraph/Base.agda
+++ b/Data/Hypergraph/Base.agda
@@ -9,7 +9,7 @@ open import Data.List.Base using (List; map)
 open import Data.Nat.Base using (ℕ)
 open import Data.String using (String; unlines)
 
-import Data.List.Sort.MergeSort as MergeSort
+import Data.List.Sort as Sort
 
 record Hypergraph (v : ℕ) : Set where
   field
@@ -19,7 +19,7 @@ sortHypergraph : {v : ℕ} → Hypergraph v → Hypergraph v
 sortHypergraph {v} H = record { edges = sort edges }
   where
     open Hypergraph H
-    open MergeSort decTotalOrder using (sort)
+    open Sort decTotalOrder using (sort)
 
 showHypergraph : {v : ℕ} → Hypergraph v → String
 showHypergraph record { edges = e} = unlines (map showEdge e)
-- 
cgit v1.2.3