1 files changed, 1 insertions, 1 deletions
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}")]