X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpostscript.c;h=8a4c9acb7d5bf44ad3097ac55051f5e8ef5854a4;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=2bfc3fd76298172345c284804229b5d5bf3f5793;hpb=564f1eac7ce351b863dba65b75d71fdf3c92b73e;p=pspp-builds.git

diff --git a/src/postscript.c b/src/postscript.c
index 2bfc3fd7..8a4c9acb 100644
--- a/src/postscript.c
+++ b/src/postscript.c
@@ -661,6 +661,7 @@ ps_option (struct outp_driver *this, const char *key, const struct string *val)
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	if (setting)
 	  x->output_options |= mask;
@@ -762,6 +763,7 @@ ps_option (struct outp_driver *this, const char *key, const struct string *val)
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	if (*dest)
 	  free (*dest);
@@ -2410,6 +2412,7 @@ write_text (struct outp_driver *this,
       break;
     default:
       assert (0);
+      abort ();
     }
 
   lp = line;