List.asString got deprecated rip

Changes

1 changed files (+1/-1)

• Printf.lean
  • @@ -23,7 +23,7 @@ def printf (fmt : String) : PrintfType <| toFmt fmt.toList :=
    | .Arg fmt => fun x ↦ printfAux (acc ++ (toString x).toList) fmt | .Nat fmt => fun x ↦ printfAux (acc ++ (toString x).toList) fmt | .Char c fmt => printfAux (acc.push c) fmt - | .End => .up acc.toList.asString + | .End => .up <| .ofList acc.toList printfAux #[] <| toFmt fmt.toList #eval printf "Hello * # * *" (-1) 1 [42, 69] "Meow" |>.down