[nongnu] elpa/proof-general 5ecce84864 1/7: qrhl: Added both `(require 'proof)` and `(require 'proof-easy-config)'.

[ELPA Syncer]

branch: elpa/proof-general
commit 5ecce8486405b16acc64c0d614933c6fadf82bb0
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    qrhl: Added both `(require 'proof)` and `(require 'proof-easy-config)'.
    
    The first was accidentally removed in 847492f.
    
    The second is necessary running PG from byte-compiled code.
    Otherwise we get the error `byte-code: Symbol’s function definition is 
void: proof-easy-config-check-setup` when loading PG with prover qrhl.
    Surprisingly, the error does not occur when PG is not byte-compiled.
---
 qrhl/qrhl.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index bd0ec6290b..41a9327c8f 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -14,6 +14,9 @@
 
 ;;; Code:
 
+(require 'proof)
+(require 'proof-easy-config)
+
 (if (version< emacs-version "26")
     (require 'qrhl-input-25)
   (require 'qrhl-input))