X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fascii.c;h=3dba9775685a89adb5be924da8ea64b849f0d88d;hb=8c8b1ba6eadf4cf533b5cce513a21b48ae06c402;hp=e4b10270dc25cac3d3a01360da462ed598be31ea;hpb=b74d09af5e07f954c18e7cdb8aca3af47fa10208;p=pspp

diff --git a/src/output/ascii.c b/src/output/ascii.c
index e4b10270dc..3dba977568 100644
--- a/src/output/ascii.c
+++ b/src/output/ascii.c
@@ -26,6 +26,7 @@
 
 #include <data/file-name.h>
 #include <libpspp/alloc.h>
+#include <libpspp/assertion.h>
 #include <libpspp/compiler.h>
 #include <libpspp/pool.h>
 #include <libpspp/start-date.h>
@@ -323,7 +324,7 @@ handle_option (struct outp_driver *this, const char *key,
 	    this->width = arg;
 	    break;
 	  default:
-	    abort ();
+	    NOT_REACHED ();
 	  }
       }
       break;
@@ -365,7 +366,7 @@ handle_option (struct outp_driver *this, const char *key,
 	    x->tab_width = arg;
 	    break;
 	  default:
-	    abort ();
+	    NOT_REACHED ();
 	  }
       }
       break;
@@ -395,12 +396,12 @@ handle_option (struct outp_driver *this, const char *key,
             x->squeeze_blank_lines = setting;
             break;
 	  default:
-	    abort ();
+	    NOT_REACHED ();
 	  }
       }
       break;
     default:
-      abort ();
+      NOT_REACHED ();
     }
 
   return true;
@@ -511,7 +512,7 @@ text_draw (struct outp_driver *this,
       x += width - length;
       break;
     default:
-      abort ();
+      NOT_REACHED ();
     }
 
   if (y >= this->length || x >= this->width)