diff --git a/src/Idris/Package.idr b/src/Idris/Package.idr
index 5b51cf544..3b08bf848 100644
--- a/src/Idris/Package.idr
+++ b/src/Idris/Package.idr
@@ -844,7 +844,6 @@ clean pkg opts -- `opts` is not used but might be in the future
          maybe (pure ()) (\e => delete (outputdir </> e))
                (executable pkg)
          -- clean out the generated docs
-         defs <- get Ctxt
          let build = build_dir (dirs (options defs))
          let docBase = build </> "docs"
          let docDir = docBase </> "docs"