--- a/compiler/TTypechecker.st	Mon Sep 14 16:27:00 2015 +0100
+++ b/compiler/TTypechecker.st	Wed Sep 16 05:29:43 2015 +0100
@@ -14,14 +14,15 @@
 acceptIfTrueIfFalseNode: node
     | receiverType booleanType |
 
-    receiverType := node binding type.
-    booleanType := context environment binding lookupClassBoolean.
+    receiverType := node receiver binding type.
+    booleanType := context environment binding lookupClassBoolean type.
 
     receiverType = booleanType ifFalse:[ 
         context reportTypeError: 'receiver of ifTrue:ifFalse: special form must be of type tBoolean (is ' , receiverType printString.
     ].
 
     "Created: / 14-09-2015 / 14:24:50 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 15-09-2015 / 08:29:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 acceptIfTrueNode: node