run: Fix whitespace.
[goals.git] / tests / file1.c
2019-12-27 Richard W.M. JonesHard code *file tactic.