chore: update stage0

stage0/src/Lean/Parser/Do.lean

@@ -21,7 +21,7 @@ namespace Term
 def leftArrow : Parser := unicodeSymbol " ← " " <- "
 @[builtinTermParser] def liftMethod := parser!:0 leftArrow >> termParser
 
-def doSeqIndent    := many1Indent $ doElemParser >> optional "; "
+def doSeqIndent    := parser! many1Indent $ doElemParser >> optional "; "
 def doSeqBracketed := parser! "{" >> withoutPosition (many1 (doElemParser >> optional "; ")) >> "}"
 def doSeq          := doSeqBracketed <|> doSeqIndent
 

stage0/stdlib/Lean/Elab/Do.c

@@ -13379,7 +13379,7 @@ lean_object* _init_l___private_Lean_Elab_Do_11__expandLiftMethodAux___main___clo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("doId");
+x_1 = lean_mk_string("doIdDecl");
 return x_1;
 }
 }