diff -r aead91ec37cd -r 7417b346e5a3 stage1_2/iec.y
--- a/stage1_2/iec.y	Fri Nov 02 19:16:04 2007 +0100
+++ b/stage1_2/iec.y	Sat Nov 03 15:33:53 2007 +0100
@@ -5180,14 +5180,14 @@
  *
  * Obviously this presuposes that the control_variable
  * must have been declared in some VAR .. END_VAR
- * We could therefore change the syntax to read
+ * We must therefore change the syntax to read
  * control_variable: prev_declared_variable_name;
  * 
- * However, it is probaly best if we leave the semantic checks
- * to the semantic analyser of pass 2.
+ * If we don't, then the correct use of any previosuly declared 
+ * variable would result in an incorrect syntax error
 */
-// control_variable: prev_declared_variable_name {$$ = $1;};
-control_variable: identifier {$$ = $1;};
+control_variable: prev_declared_variable_name {$$ = $1;};
+// control_variable: identifier {$$ = $1;};
 
 /* Integrated directly into for_statement */
 /*