From d05a1259d764730da53c92db20f74bc5ae6cb953 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 18 Dec 2022 22:59:39 +0000
Subject: fix: correct Sort equality test.

---
 src/Obs/Sort.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Obs/Sort.idr b/src/Obs/Sort.idr
index d2c8c33..70d5ed2 100644
--- a/src/Obs/Sort.idr
+++ b/src/Obs/Sort.idr
@@ -18,7 +18,7 @@ data Sort : Type where
 export
 Eq Sort where
   Prop    == Prop    = True
-  (Set i) == (Set j) = True
+  (Set i) == (Set j) = i == j
   _       == _       = False
 
 export
-- 
cgit v1.2.3