Fix formatting issues accidentally introduced in PR #450 - Githubissues

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny

https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode

MIT License

25 stars 20 forks source link

Fix formatting issues accidentally introduced in PR #450 #451

Closed dschoepe closed 12 months ago