Delete wrong comment.
authorMario de Sousa <msousa@fe.up.pt>
Thu, 02 Feb 2012 16:50:12 +0000
changeset 422 c957f712ef4d
parent 421 840cb1e1e177
child 423 f4a2d400ddbd
Delete wrong comment.
stage3/fill_candidate_datatypes.cc
--- a/stage3/fill_candidate_datatypes.cc	Thu Feb 02 16:20:19 2012 +0000
+++ b/stage3/fill_candidate_datatypes.cc	Thu Feb 02 16:50:12 2012 +0000
@@ -1770,16 +1770,6 @@
 /* B 3.2.3 Selection Statements */
 /********************************/
 void *fill_candidate_datatypes_c::visit(if_statement_c *symbol) {
-	/* MANU:
-	 * IF statement accept only BOOL type. We intersect with BOOL type to validate current if condition
-	 * Example:
-	 * IF 1 THEN 		---> 	 ok
-	 * IF 5 THEN 		---> not ok
-	 * IF 1 OR 1 THEN	--->     ok
-	 * IF 1 OR 5 THEN   ---> not ok
-	 * IF SHL() THEN	---> 	 ok if shl return BOOL
-	 * IF INT_TO_REAL() ---> not ok
-	 */
 	symbol->expression->accept(*this);
 	if (NULL != symbol->statement_list)
 		symbol->statement_list->accept(*this);