Code

fix: remove unnecessary mut#6081

Code

Merged

MikaelMayer merged 3 commits intomasterdafny-lang/dafny:masterfrom ajewell/unmutedafny-lang/dafny:ajewell/unmuteCopy head branch name to clipboardJan 30, 2025

+1-1

Commits

Commits on Jan 24, 2025

• fix: remove unnecessary mut

  ajewellamz

  committed
  efa110a

  Copy full SHA for efa110a

Commits on Jan 28, 2025

• Merge branch 'master' into ajewell/unmute

  MikaelMayer

  authored
  da13172

  Copy full SHA for da13172

Commits on Jan 30, 2025

• Merge branch 'master' into ajewell/unmute

  MikaelMayer

  authored
  efc5d86

  Copy full SHA for efc5d86