chore: Update foundation dep

FormalizedFormalLogic · Oct 15, 2024 · 85e3277 · 85e3277
1 parent 1f22de2
commit 85e3277
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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"