From 06d72fb68fd9dd57632650f1a79de01317a6069f Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 22 Sep 2017 00:28:27 +0200
Subject: phox is back

---
 pg-init.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pg-init.el')

diff --git a/pg-init.el b/pg-init.el
index 8fca25de..97a22cab 100644
--- a/pg-init.el
+++ b/pg-init.el
@@ -48,7 +48,7 @@
 (eval-when-compile
   (let ((byte-compile-directories
          '("generic" "lib"
-           "coq" "easycrypt" "pghaskell" "pgocaml" "pgshell")))
+           "coq" "easycrypt" "pghaskell" "pgocaml" "pgshell" "phox")))
     (dolist (dir byte-compile-directories)
       (add-to-list 'load-path (expand-file-name dir pg-init--pg-root)))))
 
-- 
cgit v1.2.3