summaryrefslogtreecommitdiff
path: root/Test/dafny0/DiamondImports.dfy.expect
Commit message (Expand)AuthorAge
* Fix: Unify column numbers in Dafny's errorsGravatar Clément Pit--Claudel2015-07-23
* When ambiguous references all resolve to the same declaration, don't complainGravatar leino2015-01-09