From 21aa7526f51030be9ffd86be2eabd5d07f64b6f4 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Wed, 15 Oct 2025 13:31:13 -0500
Subject: Strengthen permutation sort theorem

---
 Data/Hypergraph/Base.agda | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/Data/Hypergraph/Base.agda b/Data/Hypergraph/Base.agda
index 5cf5388..6988cf0 100644
--- a/Data/Hypergraph/Base.agda
+++ b/Data/Hypergraph/Base.agda
@@ -12,6 +12,7 @@ open import Data.String using (String; unlines)
 import Data.List.Sort as Sort
 
 record Hypergraph (v : ℕ) : Set where
+  constructor mkHypergraph
   field
     edges : List (Edge v)
 
-- 
cgit v1.2.3