From d30f644bb2abc610cab3ec67ce1914671199f2ad Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Tue, 3 Dec 1996 16:50:55 +0000
Subject: Invisible pbp command handling

---
 proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proof.el')

diff --git a/proof.el b/proof.el
index f9305e12..086998b1 100644
--- a/proof.el
+++ b/proof.el
@@ -345,8 +345,8 @@
       
       (proof-spawn-process proof-shell-prog-name 
 			 proof-shell-process-name proof-shell-buffer-name)
-      (pbp-goals-init)
       (run-hooks 'proof-post-shell-start-hook)
+      (pbp-goals-init)
       (message 
        (format "Starting %s process... done." proof-shell-process-name)))))
   
-- 
cgit v1.2.3