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

diff --git a/src/html.c b/src/html.c
index 49261473..f0b4f5fd 100644
--- a/src/html.c
+++ b/src/html.c
@@ -168,6 +168,7 @@ html_option (struct outp_driver *this, const char *key, const struct string *val
 	    break;
 	  default:
 	    assert (0);
+            abort ();
 	  }
 	if (*dest)
 	  free (*dest);