Make {: one token instead of two for annotations#360
Merged
RustanLeino merged 3 commits intodafny-lang:masterfrom samuelgruetter:annotation_tokenAug 22, 2019
+935-952
{: one token instead of two for annotations#360