and this shit too, squash

shingarov · Nov 16, 2024 · 0005ba9 · 0005ba9
1 parent 58d81ce
commit 0005ba9
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 15 deletions.
diff --git a/src/MathNotation/Z3UninterpretedSort.extension.st b/src/MathNotation/Z3UninterpretedSort.extension.st
@@ -0,0 +1,11 @@
+Extension { #name : #Z3UninterpretedSort }
+
+{ #category : #'*MathNotation' }
+Z3UninterpretedSort >> printOn: aStream [
+	aStream nextPutAll: self unsafeName
+]
+
+{ #category : #'*MathNotation' }
+Z3UninterpretedSort >> unsafeName [
+	^self name asString decodeUnsafe
+]
diff --git a/src/Z3/Z3UninterpretedSort.class.st b/src/Z3/Z3UninterpretedSort.class.st
@@ -15,18 +15,3 @@ Z3UninterpretedSort >> nodeClass [
 	^ Uninterpreted
 
 ]
-
-{ #category : #printing }
-Z3UninterpretedSort >> printOn: aStream [
-	aStream nextPutAll: self unsafeName.
-	self name asString = self unsafeName ifFalse: [
-		aStream nextPutAll: '  ('.
-		super printOn: aStream.
-		aStream nextPutAll: ')'
-	]
-]
-
-{ #category : #printing }
-Z3UninterpretedSort >> unsafeName [
-	^self name asString decodeUnsafe
-]