[nongnu] elpa/proof-general 1a64e61c93 2/7: Added "qrhl" to the list of byte-compiled directories.

[ELPA Syncer]

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

    Added "qrhl" to the list of byte-compiled directories.
    (Cf. https://github.com/ProofGeneral/PG/pull/643#issuecomment-1062054376)
---
 proof-general.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proof-general.el b/proof-general.el
index fc9853f67e..b583bcdf61 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -77,7 +77,7 @@
   ;; the corresponding file.
   (let ((byte-compile-directories
          '("generic" "lib"
-           "coq" "easycrypt" "pghaskell" "pgocaml" "pgshell" "phox"
+           "coq" "easycrypt" "pghaskell" "pgocaml" "pgshell" "phox" "qrhl"
            )))
     (dolist (dir byte-compile-directories)
       (add-to-list 'load-path (expand-file-name dir pg-init--pg-root)))))