From f8199bb5401d2f9272834967660136509166053d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 9 Aug 2019 16:05:29 -0700
Subject: [PATCH] fix(library/playground/patch): `updateArgs` => `modifyArgs`

---
 tests/playground/patch.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/playground/patch.lean b/tests/playground/patch.lean
index 5c194797e6..9a648bc9ba 100644
--- a/tests/playground/patch.lean
+++ b/tests/playground/patch.lean
@@ -9,7 +9,7 @@ stx.rewriteBottomUp $ fun stx =>
     (fun stx =>
        let args := stx.getArgs;
        let args := args.modify 1 $ fun patterns =>
-         let patterns := patterns.asNode.updateArgs $ fun args => args.map Syntax.removeParen;
+         let patterns := patterns.asNode.modifyArgs $ fun args => args.map Syntax.removeParen;
          patterns.manyToSepBy ",";
        let args := args.modify 2 $ fun assignTk => assignTk.setAtomVal "=>";
        Syntax.node `Lean.Parser.Term.matchAlt args)