Removed open/closed text from parameter types

Closes #1955
usethesource · Jun 9, 2024 · 52cf701 · 52cf701
1 parent 659624f
commit 52cf701
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeUtils.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeUtils.rsc
@@ -80,8 +80,7 @@ str prettyAType(t: acons(AType adt, /*str consName,*/
 
 str prettyAType(amodule(str mname)) = "module <mname>";         
 str prettyAType(aparameter(str pn, AType t, closed=c)) =
-    ((avalue() := t) ? "&<pn>" : "&<pn> \<: <prettyAType(t)>") 
-    + (c ? "[closed]" : "[open]");
+    ((avalue() := t) ? "&<pn>" : "&<pn> \<: <prettyAType(t)>");
 str prettyAType(areified(AType t)) = "type[<prettyAType(t)>]";
 
 // utilities