--- a/stage3/print_datatypes_error.cc	Mon Feb 06 14:10:22 2012 +0000
+++ b/stage3/print_datatypes_error.cc	Mon Feb 06 14:15:31 2012 +0000
@@ -63,7 +63,6 @@
       if (NULL == singleton)    ERROR;
       const char *res           = (const char *)symbol->accept(*singleton);
       if (NULL == res)          ERROR;
-      if (NULL == res)          ERROR;
       return res;
     }