1 files changed, 1 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 5a4998fd..f269917e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -449,8 +449,7 @@
 
   (setq font-lock-keywords coq-font-lock-keywords-1)
 
-  (and (boundp 'font-lock-always-fontify-immediately)
-       (setq font-lock-always-fontify-immediately t))
+  (setq proof-font-lock-zap-commas t)	; enable the painful hack
   
   (proof-config-done)