[create-pull-request] automated change (#6)

Co-authored-by: SnO2WMaN <[email protected]>
FormalizedFormalLogic · Nov 17, 2024 · 5b497ea · 5b497ea
1 parent d16e36c
commit 5b497ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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",