X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fpostscript.c;h=bd7a088a07e3d14a7e473072dfbdafd609e9dd1a;hb=f70f1b22e925d55c246372376de1c6ffaacf8a4b;hp=d65162dad4c3e1bd8fd0cb2b687b4fef0276f283;hpb=b74d09af5e07f954c18e7cdb8aca3af47fa10208;p=pspp diff --git a/src/output/postscript.c b/src/output/postscript.c index d65162dad4..bd7a088a07 100644 --- a/src/output/postscript.c +++ b/src/output/postscript.c @@ -27,6 +27,7 @@ #include #include +#include #include #include #include @@ -374,7 +375,7 @@ handle_option (struct outp_driver *this, const char *key, this->font_height = arg; break; default: - abort (); + NOT_REACHED (); } } break; @@ -400,7 +401,7 @@ handle_option (struct outp_driver *this, const char *key, x->line_width = dimension; break; default: - abort (); + NOT_REACHED (); } } break; @@ -417,7 +418,7 @@ handle_option (struct outp_driver *this, const char *key, } break; default: - abort (); + NOT_REACHED (); } return true; @@ -608,8 +609,7 @@ ps_submit (struct outp_driver *this UNUSED, struct som_entity *s) case SOM_CHART: break; default: - abort (); - break; + NOT_REACHED (); } }