chore(tests/lean/fail): update to current syntax

2017-05-20 13:47:45 +02:00 · 2017-05-20 13:47:45 +02:00 · f24d790416
commit f24d790416
parent 99754188e6
1 changed files with 1 additions and 1 deletions
--- a/tests/lean/fail/run_command.lean
+++ b/tests/lean/fail/run_command.lean
@ -1 +1 @@
-run_command tactic.fail "Error"
+run_cmd tactic.fail "Error"