mark: fix extraneous spaces in dummy type-checking marks

(cherry picked from commit 54e08b7230)
This commit is contained in:
Ran Benita 2020-07-29 11:58:54 +03:00
parent edb6211e36
commit bec1bdaa2c
1 changed files with 3 additions and 3 deletions