Minor changes to improve source line and column position reporting.

gradual-verification / silicon-gv

Mozilla Public License 2.0

0 stars 3 forks source link

Closed advancingdragon closed 3 months ago

advancingdragon commented 3 months ago

sourceLineColumn in Utils.scala now displays the ending line and column position in addition to the starting line and column position.