ExternalStream.st
changeset 22245 7099c8e96ff9
parent 22234 7f0b2dd757b3
child 22266 661a9c5e7fbd
--- a/ExternalStream.st	Fri Sep 01 14:28:20 2017 +0200
+++ b/ExternalStream.st	Sat Sep 02 17:38:47 2017 +0200
@@ -4744,8 +4744,10 @@
 
 printOn:aStream
     aStream
-	nextPutAll:self className;
-	nextPutAll:'(handle:('.
+        nextPutAll:self className;
+        nextPut:$(.
+    handleType printOn:aStream.
+    aStream nextPutAll:':('.
     handle printOn:aStream.
     aStream nextPutAll:'))'
 ! !