From f0906abd5aa3d9004b53454af92b44b3d908ec3c Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Mon, 27 Apr 2026 09:46:17 +0100
Subject: change the "claimed set" notation to "set-of" so that David isn't
 confused

---
 src/ast.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ast.rs')

diff --git a/src/ast.rs b/src/ast.rs
index f517b37..ecc0940 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -36,7 +36,7 @@ pub enum Set {
     #[display("variant [ {} ]", _0.iter().map(|f| f.to_string()).collect::<Vec<_>>().join(" | "))]
     Variant(Vec<VariantField>),
 
-    #[display("set({_0})")]
+    #[display("set-of({_0})")]
     ClaimedSet(Instance),
 
     #[display("{_0}")]
-- 
cgit v1.3.1