revert

verse-lab · Mar 19, 2024 · 2d92db7 · 2d92db7
1 parent 6955121
commit 2d92db7
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
@@ -55,10 +55,10 @@
    "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/leanprover-community/mathlib4",
+  {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "526c94c0634f3649dc07a50c8c79f3b046735d42",
+   "rev": "c13f0f5bfdf81a648b610b96e8381ccde5da237a",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,

diff --git a/lakefile.lean b/lakefile.lean
@@ -11,7 +11,7 @@ package Ssreflect where
 
 -- require std from git "https://github.com/leanprover/std4" @ "main"
 
-require mathlib from git "https://github.com/leanprover-community/mathlib4.git" @ "v4.6.0-rc1"
+require mathlib from git "https://github.com/leanprover-community/mathlib4.git"
 
 -- require loogle from git "https://github.com/nomeata/loogle" @ "master"