diff -r 44f74fad2cc0 -r a9f8cc778444 stage3/print_datatypes_error.cc
--- 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 {