From 2efdcfd66911748b8d6c2c9d4218eb131066cbff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 11:22:22 +0000
Subject: Fix compile: declare proof-interrupt-process

---
 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 48d961d1..b0f35200 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -32,6 +32,7 @@
 (declare-function pg-response-warning "pg-response" (&rest args))
 (declare-function proof-segment-up-to "proof-script")
 (declare-function proof-autosend-enable "pg-user")
+(declare-function proof-interrupt-process "pg-shell")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3