diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeUtils.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeUtils.rsc index 5de7063f..111eb2e8 100644 --- 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 "; str prettyAType(aparameter(str pn, AType t, closed=c)) = - ((avalue() := t) ? "&" : "& \<: ") - + (c ? "[closed]" : "[open]"); + ((avalue() := t) ? "&" : "& \<: "); str prettyAType(areified(AType t)) = "type[]"; // utilities