Fix an issue that when we print tasty the name buffer gets written twice#6133

Merged

smarter merged 1 commit intoscala:masterfrom

tgodzik:tasty-printer-fix

Mar 25, 2019

Commits on Mar 20, 2019

Fix an issue that when we print tasty the name buffer gets written twice
tgodzik
committed