Invisible pbp command handling

1 files changed, 1 insertions, 1 deletions

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)))))