Fix a typo in the run script

This commit is contained in:
Alex Crichton 2019-05-20 12:46:10 -07:00
parent 804ec5faab
commit fa8d3b59bd
1 changed files with 1 additions and 1 deletions