--- a/stage3/constant_folding.cc	Sun Dec 28 13:29:47 2014 +0000
+++ b/stage3/constant_folding.cc	Sun Dec 28 22:20:08 2014 +0000
@@ -988,14 +988,14 @@
 /*********************/
 /* B 1.4 - Variables */
 /*********************/
-// #if DO_CONSTANT_PROPAGATION__
+#if DO_CONSTANT_PROPAGATION__
 void *constant_folding_c::visit(symbolic_variable_c *symbol) {
 	std::string varName = get_var_name_c::get_name(symbol->var_name)->value;
 	if (values.count(varName) > 0) 
 		symbol->const_value = values[varName];
 	return NULL;
 }
-// #endif  // DO_CONSTANT_PROPAGATION__
+#endif  // DO_CONSTANT_PROPAGATION__
 
 void *constant_folding_c::visit(symbolic_constant_c *symbol) {
 	std::string varName = get_var_name_c::get_name(symbol->var_name)->value;
@@ -1711,6 +1711,7 @@
 
 
 
+#if DO_CONSTANT_PROPAGATION__
 /*********************************/
 /* B 3.2.1 Assignment Statements */
 /*********************************/
@@ -1724,7 +1725,6 @@
 	return NULL;
 }
 
-#if DO_CONSTANT_PROPAGATION__
 /********************************/
 /* B 3.2.3 Selection Statements */
 /********************************/