1 files changed, 1 insertions, 1 deletions
diff --git a/pg-init.el b/pg-init.el
index 8f2fab4c..8fca25de 100644
--- a/pg-init.el
+++ b/pg-init.el
@@ -47,7 +47,7 @@
 
 (eval-when-compile
   (let ((byte-compile-directories
-         '("contrib/mmm" "generic" "lib"
+         '("generic" "lib"
            "coq" "easycrypt" "pghaskell" "pgocaml" "pgshell")))
     (dolist (dir byte-compile-directories)
       (add-to-list 'load-path (expand-file-name dir pg-init--pg-root)))))