X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fexpressions%2Fevaluate.inc.pl;h=7b6b1a3e683bae87511bcc36cef811d95aeba5a3;hb=138216a0d401770c367d8f515ac06c98e5dfb528;hp=85112f96903e82f18b13c8b3a8728132e5a86d0c;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/expressions/evaluate.inc.pl b/src/language/expressions/evaluate.inc.pl
index 85112f9690..7b6b1a3e68 100644
--- a/src/language/expressions/evaluate.inc.pl
+++ b/src/language/expressions/evaluate.inc.pl
@@ -6,7 +6,7 @@ sub generate_output {
 
 	if ($op->{UNIMPLEMENTED}) {
 	    print "case $opname:\n";
-	    print "  abort ();\n\n";
+	    print "  NOT_REACHED ();\n\n";
 	    next;
 	}