branch: elpa/proof-general commit 553b2dc093086c8b74de29462704792b575f6fea Author: Dominique Unruh <[email protected]> Commit: Dominique Unruh <[email protected]>
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)
