and this shit too, squash

shingarov · Nov 16, 2024 · 130010f · 130010f
1 parent 58d81ce
commit 130010f
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/src/Z3/Z3UninterpretedSort.class.st b/src/Z3/Z3UninterpretedSort.class.st
@@ -18,12 +18,7 @@ Z3UninterpretedSort >> nodeClass [
 
 { #category : #printing }
 Z3UninterpretedSort >> printOn: aStream [
-	aStream nextPutAll: self unsafeName.
-	self name asString = self unsafeName ifFalse: [
-		aStream nextPutAll: '  ('.
-		super printOn: aStream.
-		aStream nextPutAll: ')'
-	]
+	aStream nextPutAll: self unsafeName
 ]
 
 { #category : #printing }