diff options
Diffstat (limited to 'generic/proof-maths-menu.el')
| -rw-r--r-- | generic/proof-maths-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index de02cc7a..fdc1f7e0 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -19,11 +19,11 @@ ;; (eval-when-compile - (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant (require 'cl)) (eval-when (compile) - (require 'maths-menu)) ; it's loaded dynamically at runtime + (require 'proof-auxmodes) ; loaded by proof.el + (require 'maths-menu)) ; loaded dynamically in proof-auxmodes ;;;###autoload |