Code

Fix angry module LSP diagnostic#6086

Code

Merged

MikaelMayer merged 1 commit intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:fixAngryModulekeyboardDrummer/dafny:fixAngryModuleCopy head branch name to clipboardJan 30, 2025

+21-1

Commits

Commits on Jan 30, 2025

• Fix angry module LSP diagnostic

  keyboardDrummer

  committed
  2f0619f

  Copy full SHA for 2f0619f