diff --git a/lake-manifest.json b/lake-manifest.json
index 111e5bd..a2d2e3b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,20 +5,20 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a11566029bd9ec4f68a65394e8c3ff1af74c1a29",
+   "rev": "2cf1030dc2ae6b3632c84a09350b675ef3e347d0",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
    "inherited": false,
-   "configFile": "lakefile.lean"},
+   "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "23f04af9bdf81189bc5de51a38e5d6648201c720",
+   "rev": "021e272cb5cdcc82b7e1e760fe915ff2f64169ad",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing",
+   "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "importGraph",
diff --git a/lakefile.toml b/lakefile.toml
index 048c8bc..f8404dc 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -10,7 +10,7 @@ rev = "main"
 [[require]]
 name = "batteries"
 git = "https://github.com/leanprover-community/batteries"
-rev = "nightly-testing"
+rev = "main"
 
 [[lean_lib]]
 name = "ImportGraph"