Add test for bug fixed recently in recode
[pspp] / src / getline.c
index b9f0a1d5b4c4b41f51397c95964ef031e284a409..f55cd9f9b438b38d8f6ee9a1771b13b62ea8f6bb 100644 (file)
@@ -451,6 +451,7 @@ read_console (void)
 
     default:
       assert (0);
+      abort ();
     }
 
   line = readline (prompt);