[nongnu] elpa/proof-general 553b2dc093 09/25: Added (require 'proof) to qrhl.el

[ELPA Syncer]

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

    Added (require 'proof) to qrhl.el
---
 qrhl/qrhl.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 3d0d04da63..0081d06d7d 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -1,5 +1,7 @@
 ;; Author: Dominique Unruh
 
+(require 'proof)
+
 (load-library "qrhl-input")
 
 (defun qrhl-find-and-forget (span)