X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fexpr-opt.c;h=8724b9e017ec58482d7fba2c466e29fb5034581a;hb=440ac00aa72410d1c0e41633bd651c4c54871f87;hp=e221d4e2e0c0373234079243ad2ca5abbbfd54a8;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/expr-opt.c b/src/expr-opt.c
index e221d4e2e0..8724b9e017 100644
--- a/src/expr-opt.c
+++ b/src/expr-opt.c
@@ -884,12 +884,6 @@ evaluate_tree (struct nonterm_node * n)
 	}
       rnc (n0);
       break;
-
-#if __CHECKER__
-      /* This case prevents Checker from choking. */
-    case 42000:
-      assert (0);
-#endif
     }
   return n;
 }