From 2991d4ee7958cbdf3b69f0a896b1ae5a454e1349 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2006 14:08:59 +0000
Subject: Remove debugs

---
 coq/coq.el | 4 +---
 1 file changed, 1 insertion(+), 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 
-- 
cgit v1.2.3