X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fhtml.c;h=42d818b519f908004e0eb876cdfc089ffd53a67b;hb=3838b041ea9a749d3a0d604f62f7d9523f91f3d8;hp=cb4ae056c4f64eb4463f66ece1da0720b1c9a82d;hpb=36acd35beab37125d4083d98feaebec1d945e9b4;p=pspp

diff --git a/src/html.c b/src/html.c
index cb4ae056c4..42d818b519 100644
--- a/src/html.c
+++ b/src/html.c
@@ -174,10 +174,6 @@ html_option (struct outp_driver *this, const char *key, const struct string *val
 	*dest = xstrdup (ds_value (val));
       }
       break;
-#if __CHECKER__
-    case 42000:
-      assert (0);
-#endif
     default:
       assert (0);
     }