phox is back

1 files changed, 1 insertions, 1 deletions

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)))))