diff --git a/src/Idris/Main.idr b/src/Idris/Main.idr
index 3053743..9808fb6 100644
--- a/src/Idris/Main.idr
+++ b/src/Idris/Main.idr
@@ -69,7 +69,6 @@ updatePaths
          defs <- get Ctxt
          addPkgDir "prelude"
          addPkgDir "base"
-         addPkgDir "contrib"
          addDataDir (dir_prefix (dirs (options defs)) ++ dirSep ++
                         "idris2-" ++ showVersion False version ++ dirSep ++ "support")
          addLibDir (dir_prefix (dirs (options defs)) ++ dirSep ++