1 files changed, 1 insertions, 3 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 31875623..ae9adfaa 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -20,9 +20,7 @@
 
 ;;; Code:
 ;; debugging functions
-(defun proofstack () (coq-get-span-proofstack (span-at (point) 'type)))
-(defun proofstack () (coq-get-span-proofstack (span-at (point) 'type)))
-(defun proofstack () (coq-get-span-proofstack (span-at (point) 'type)))
+;; (defun proofstack () (coq-get-span-proofstack (span-at (point) 'type)))
 ;; End debugging
 
 (defcustom coq-prog-name