Fix compile warnings

1 files changed, 7 insertions, 5 deletions

diff --git a/isar/isar.el b/isar/isar.el
index 2dc2c3b6..4b91f7d7 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -20,6 +20,8 @@
 (eval-when-compile
   (require 'span)
   (require 'proof-syntax)
+  (require 'pg-goals)
+  (require 'pg-vars)
   (proof-ready-for-assistant 'isar))	; compile for isar
 
 (require 'isabelle-system)		; system code
@@ -240,17 +242,17 @@ See -k option for Isabelle interface script."
 (defun isar-configure-from-settings ()
   (isar-set-proof-find-theorems-command))
 
+(defpacustom use-find-theorems-form nil
+  "Use a form-style input for the find theorems operation."
+  :type 'boolean
+  :eval (isar-set-proof-find-theorems-command))
+
 (defun isar-set-proof-find-theorems-command ()
   (setq proof-find-theorems-command 
 	(if isar-use-find-theorems-form
 	    'isar-find-theorems-form
 	  'isar-find-theorems-minibuffer)))
 
-(defpacustom use-find-theorems-form nil
-  "Use a form-style input for the find theorems operation."
-  :type 'boolean
-  :eval (isar-set-proof-find-theorems-command))
-
 ;;;
 ;;; Theory loader operations
 ;;;