diff -r ab601bdea102 -r 78083edf93d5 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Thu Jan 10 10:38:41 2013 +0000
+++ b/stage3/constant_folding.cc	Thu Jan 10 10:47:06 2013 +0000
@@ -977,6 +977,7 @@
 /*********************/
 /* B 1.4 - Variables */
 /*********************/
+#if DO_CONSTANT_PROPAGATION__
 void *constant_folding_c::visit(symbolic_variable_c *symbol) {
 	std::string varName;
 
@@ -986,11 +987,13 @@
 	}
 	return NULL;
 }
+#endif  // DO_CONSTANT_PROPAGATION__
 
 
 /**********************/
 /* B 1.5.3 - Programs */
 /**********************/
+#if DO_CONSTANT_PROPAGATION__
 void *constant_folding_c::visit(program_declaration_c *symbol) {
 	symbol_c *var_name;
 
@@ -1007,6 +1010,7 @@
 	symbol->function_block_body->accept(*this);
 	return NULL;
 }
+#endif  // DO_CONSTANT_PROPAGATION__
 
 
 /****************************************/
@@ -1279,7 +1283,7 @@
 
 
 
-
+#if DO_CONSTANT_PROPAGATION__
 /*********************************/
 /* B 3.2.1 Assignment Statements */
 /*********************************/
@@ -1399,6 +1403,6 @@
 	return NULL;
 }
 
-
-
-
+#endif  // DO_CONSTANT_PROPAGATION__
+
+