diff -r 2415912b0aa0 -r f9a059c24aea stage3/narrow_candidate_datatypes.cc
--- 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 */
 /********************************************/