diff --git a/src/Idris/Package.idr b/src/Idris/Package.idr
index e48404ad8..8dd5ce0d9 100644
--- a/src/Idris/Package.idr
+++ b/src/Idris/Package.idr
@@ -862,7 +862,7 @@ clean pkg opts -- `opts` is not used but might be in the future
         = do let ttFile = builddir </> joinPath ns </> mod
              delete $ ttFile <.> "ttc"
              delete $ ttFile <.> "ttm"
-   
+
     deleteDocBaseFolder : String -> Core ()
     deleteDocBaseFolder build
         = do let docBase = build </> "docs"