diff --git a/lake-manifest.json b/lake-manifest.json
index 821e27b..41c4518 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -75,10 +75,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "10cdf9cf9d88117471d50a526b64e56b802714f3",
+   "rev": "33e08c2b47f966f772df9af60cbdbc5688295bbf",
    "name": "foundation",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "rename",
+   "inputRev": "master",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "arithmetization",
diff --git a/lakefile.lean b/lakefile.lean
index fb6654f..6c1a084 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,6 +1,8 @@
 import Lake
 open Lake DSL
 
+require foundation from git "https://github.com/FormalizedFormalLogic/Foundation" @ "master"
+
 package arithmetization {
   -- add any package configuration options here
 }
@@ -9,5 +11,3 @@ package arithmetization {
 lean_lib Arithmetization {
   -- add any library configuration options here
 }
-
-require foundation from git "https://github.com/FormalizedFormalLogic/Foundation" @ "rename"