chore: bump nightly-2022-11-20

mhuisi · mhuisi · commit 5a858c32963b · 2022-11-20T16:16:11.000+01:00
diff --git a/Cli/Basic.lean b/Cli/Basic.lean
@@ -260,7 +260,7 @@ section Configuration
     reprPrec p _ := p.name
 
   instance [inst : ParseableType τ] : CoeDep Type τ ParamType where
-    coe := ⟨inst.name τ, (inst.parse? · |>.isSome)⟩
+    coe := ⟨inst.name, (inst.parse? · |>.isSome)⟩
 
   /--
   Represents a flag, usually known as "option" in standard terminology.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-10-31
+leanprover/lean4:nightly-2022-11-20
