From 6a2df321708ad079bb018859a6c916fcb9f95013 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 16 Aug 2010 11:41:00 +0000
Subject: Fix compile errors, update tags

---
 generic/proof-script.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index be2b84ca..25c87e10 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -31,6 +31,7 @@
 		  (string &optional push))
 (declare-function pg-response-warning "pg-response" (&rest args))
 (declare-function proof-segment-up-to "proof-script")
+(declare-function proof-autosend-enable "pg-user")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3