--- a/compiler/PPCTokenDetector.st	Mon Aug 17 12:13:16 2015 +0100
+++ b/compiler/PPCTokenDetector.st	Mon Aug 24 15:34:14 2015 +0100
@@ -55,18 +55,6 @@
             yourself
     ]. 
 
-    (node child isKindOf: PPCTokenConsumeNode) ifTrue: [  
-        self change.
-        self halt: 'JK: this can happen???'.
-        ^ PPCTrimmingTokenNode new
-            name: node name;
-            child: node child;
-            tokenClass: node child child tokenClass;
-            whitespace: node trimmer;
-            yourself
-    ]. 
-
-
     ^ node
 !