--- a/UILayoutTool.st	Mon Jul 28 12:16:15 1997 +0200
+++ b/UILayoutTool.st	Mon Jul 28 12:18:34 1997 +0200
@@ -671,7 +671,7 @@
 !
 
 selection:aSelection
-    |appl view slice|
+    |appl slice|
 
     selection = aSelection ifFalse:[
         (selection := aSelection) notNil ifTrue:[
@@ -861,7 +861,7 @@
 fetch:aView
     "fetch alignmentOrigin
     "
-    |layout type extent|
+    |layout type|
 
     type   := UIPainterView layoutType:aView.
     layout := aView geometryLayout.