--- a/stage3/narrow_candidate_datatypes.cc Thu Aug 22 16:51:22 2013 +0100
+++ b/stage3/narrow_candidate_datatypes.cc Thu Aug 22 16:53:17 2013 +0100
@@ -649,7 +649,11 @@
/*********************/
/* B 1.4 - Variables */
/*********************/
-
+// SYM_REF1(symbolic_variable_c, var_name)
+void *narrow_candidate_datatypes_c::visit(symbolic_variable_c *symbol) {
+ symbol->var_name->datatype = symbol->datatype;
+ return NULL;
+}
/********************************************/
/* B 1.4.1 - Directly Represented Variables */
/********************************************/