Fixed output for pointer tarval tarval_p_void
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 5 Mar 2003 15:42:59 +0000 (15:42 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 5 Mar 2003 15:42:59 +0000 (15:42 +0000)
[r865]

ir/tv/tv.c

index e8e9e87..1909b4f 100644 (file)
@@ -1390,7 +1390,7 @@ tarval_print (XP_PAR1, const xprintf_info *info ATTRIBUTE((unused)), XP_PARN)
        printed = XPSR ("(NULL)");
     } else {
       assert (val == tarval_P_void);
-      printed = XPSR ("(void)");
+      printed = XPSR ("(NULL)");
     }
     break;