update

FormalizedFormalLogic · Oct 31, 2024 · 1d69ebd · 1d69ebd
1 parent d2a5629
commit 1d69ebd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -85,10 +85,10 @@
    "type": "git",
    "subDir": null,
    "scope": "FormalizedFormalLogic",
-   "rev": "a88c4b466099ae533ae947d800d282a8889cf620",
+   "rev": "8374be249f74f8aa57c3ae22777eb3be4781807d",
    "name": "foundation",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "update-4.13",
+   "inputRev": "master",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "arithmetization",

diff --git a/lakefile.lean b/lakefile.lean
@@ -10,4 +10,4 @@ lean_lib Arithmetization {
   -- add any library configuration options here
 }
 
-require "FormalizedFormalLogic" / "foundation" @ git "update-4.13"
+require "FormalizedFormalLogic" / "foundation" @ git "master"