1 files changed, 1 insertions, 1 deletions
diff --git a/pg-init.el b/pg-init.el
index bdc6e4ea..7d9e098a 100644
--- a/pg-init.el
+++ b/pg-init.el
@@ -55,7 +55,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)))))