--- a/DeviceWorkstation.st	Thu Jul 21 16:58:55 2016 +0200
+++ b/DeviceWorkstation.st	Thu Jul 21 19:05:51 2016 +0200
@@ -1338,7 +1338,7 @@
 allViews
     "return a collection of all my known views"
 
-    ^ knownViews as:IdentitySet.
+    ^ knownViews asIdentitySet.
 
     "Created: / 14.2.1997 / 14:29:43 / cg"
     "Modified: / 19.1.2000 / 10:07:05 / cg"