1 files changed, 0 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 641fc1b4..06015bb6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -680,8 +680,6 @@ This is specific to coq-mode."
 
   (setq font-lock-keywords coq-font-lock-keywords-1)
 
-  (setq proof-font-lock-zap-commas t)	; enable the painful hack
-  
   (proof-config-done)
 
 ;; outline