X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fexpressions%2Foptimize.inc.pl;h=fce530f74de5b958e9d607e1e9a60e2137e76574;hb=e0d0265ba2c4c74d3f7c57a33a18014bd82c8d27;hp=798c5001fdc5530661ed7cc2fa8cc4ff3ed7b1c4;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/expressions/optimize.inc.pl b/src/language/expressions/optimize.inc.pl
index 798c5001fd..fce530f74d 100644
--- a/src/language/expressions/optimize.inc.pl
+++ b/src/language/expressions/optimize.inc.pl
@@ -6,7 +6,7 @@ sub generate_output {
 
 	if (!$op->{OPTIMIZABLE} || $op->{UNIMPLEMENTED}) {
 	    print "case $opname:\n";
-	    print "  abort ();\n\n";
+	    print "  NOT_REACHED ();\n\n";
 	    next;
 	}