X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fgetline.c;h=f55cd9f9b438b38d8f6ee9a1771b13b62ea8f6bb;hb=d781f450096059a2ae52da5749078e68661b9c91;hp=b9f0a1d5b4c4b41f51397c95964ef031e284a409;hpb=205ac3afa4c2b19c85819d8695abf3975bb11807;p=pspp

diff --git a/src/getline.c b/src/getline.c
index b9f0a1d5b4..f55cd9f9b4 100644
--- a/src/getline.c
+++ b/src/getline.c
@@ -451,6 +451,7 @@ read_console (void)
 
     default:
       assert (0);
+      abort ();
     }
 
   line = readline (prompt);