diff --git a/lake-manifest.json b/lake-manifest.json
index 8ad5edf..e5e06d9 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -88,14 +88,14 @@
    "rev": "8374be249f74f8aa57c3ae22777eb3be4781807d",
    "name": "foundation",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "rename",
+   "inputRev": "master",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/FormalizedFormalLogic/Arithmetization",
    "type": "git",
    "subDir": null,
    "scope": "FormalizedFormalLogic",
-   "rev": "bb64ed6d177ed0ad96f4b409a5b85c3975ce4209",
+   "rev": "c452703ba2b6fd57a7eb511590b2ff9d7ba70a05",
    "name": "arithmetization",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",