--- a/stage3/print_datatypes_error.cc Wed Nov 07 19:26:38 2012 +0000
+++ b/stage3/print_datatypes_error.cc Wed Nov 07 20:07:11 2012 +0000
@@ -116,16 +116,6 @@
-/* a helper function... */
-symbol_c *print_datatypes_error_c::base_type(symbol_c *symbol) {
- /* NOTE: symbol == NULL is valid. It will occur when, for e.g., an undefined/undeclared symbolic_variable is used
- * in the code.
- */
- if (symbol == NULL) return NULL;
- return (symbol_c *)symbol->accept(search_base_type);
-}
-
-
/*
typedef struct {