From 77d637846be1eb0d140612731c80ca7a6cf1bb29 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 15:33:30 +0100
Subject: fix failure to add hypotheticals for instances of compound signatures

---
 examples/equality.makkai | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples/equality.makkai')

diff --git a/examples/equality.makkai b/examples/equality.makkai
index 86b81ae..294dafc 100644
--- a/examples/equality.makkai
+++ b/examples/equality.makkai
@@ -54,7 +54,7 @@ let signature NeqParticular = theory {
     Neq :: (r: set-of((SE .Relation) (element-of(A)) (element-of(B)))) -> <Empty>
 }
 
-let instance zeroNeqOne :: NeqParticular = {
+let instance zeroNeqOneAgain :: NeqParticular = {
     .SE = eqTwo,
     .A = <zero. pt>,
     .B = <one. pt>,
-- 
cgit v1.3.1