X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pspp-mode.el;h=2fd5d3fc4f5d6c4f98bc35915e5d6e3168b07f20;hb=b57bac17a6057cc0642e6ecea792e058596f92bb;hp=e28ce3cea38bd8ad7cf400e67fab967c0215ac38;hpb=8ab6b12ad84079f08111890cecbbaf1930012960;p=pspp-builds.git

diff --git a/pspp-mode.el b/pspp-mode.el
index e28ce3ce..2fd5d3fc 100644
--- a/pspp-mode.el
+++ b/pspp-mode.el
@@ -389,7 +389,6 @@
 				"PRINT FORMATS"          
 				"PRINT SPACE"            
 				"PROCEDURE OUTPUT"       
-				"PROCESS IF"             
 				"PROXIMITIES"            
 				"Q"                      
 				"QUICK CLUSTER"