Fill in the 'datatype' anotation in the identifiers of symbolic variables.
(even though currently it is not being used).
--- 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 */
/********************************************/
--- a/stage3/narrow_candidate_datatypes.hh Thu Aug 22 16:51:22 2013 +0100
+++ b/stage3/narrow_candidate_datatypes.hh Thu Aug 22 16:53:17 2013 +0100
@@ -182,6 +182,7 @@
/*********************/
/* B 1.4 - Variables */
/*********************/
+ void *visit(symbolic_variable_c *symbol);
/********************************************/
/* B 1.4.1 - Directly Represented Variables */
/********************************************/