X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pspp-mode.el;h=2fd5d3fc4f5d6c4f98bc35915e5d6e3168b07f20;hb=38006c9843177b65a2ce9bee47c1a8eeb6243973;hp=e28ce3cea38bd8ad7cf400e67fab967c0215ac38;hpb=f82dc2b98914813be2084fffb0cea33b48c2e438;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"