Unnecessary getchar

This commit is contained in:
Justin Ethier 2015-11-14 00:21:15 -05:00
parent 1b0e1aed36
commit f4773216c6

View file

@ -494,7 +494,9 @@ object Cyc_display(object x, FILE *port)
fprintf(port, ")"); fprintf(port, ")");
break; break;
default: default:
fprintf(port, "Cyc_display: bad tag x=%ld\n", ((closure)x)->tag); getchar(); exit(0);} fprintf(port, "Cyc_display: bad tag x=%ld\n", ((closure)x)->tag);
exit(1);
}
return quote_void;} return quote_void;}
object dispatch_write_va(void *data, int argc, object clo, object cont, object x, ...) { object dispatch_write_va(void *data, int argc, object clo, object cont, object x, ...) {