diff src/print.c @ 284:558f606b08ae r21-0b40

Import from CVS: tag r21-0b40
author cvs
date Mon, 13 Aug 2007 10:34:13 +0200
parents c42ec1d1cded
children 8bec6624d99b
line wrap: on
line diff
--- a/src/print.c	Mon Aug 13 10:33:19 2007 +0200
+++ b/src/print.c	Mon Aug 13 10:34:13 2007 +0200
@@ -1221,9 +1221,11 @@
 
     default:
       {
+#ifdef ERROR_CHECK_TYPECHECK
+	abort ();
+#else  /* not ERROR_CHECK_TYPECHECK */
 	char buf[128];
-	/* We're in trouble if this happens!  Probably should just
-	   abort () */
+	/* We're in trouble if this happens! */
 	if (print_readably)
 	  error ("printing illegal data type #o%03o",
 		 (int) XTYPE (obj));
@@ -1234,6 +1236,7 @@
 	write_c_string
 	  (" Save your buffers immediately and please report this bug>",
 	   printcharfun);
+#endif /* not ERROR_CHECK_TYPECHECK */
 	break;
       }
     }