Add 1 to end column of Os.printParseableMessages.

sireum · Dec 9, 2024 · 9853018 · 9853018
1 parent b767696
commit 9853018
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Os.scala b/library/jvm/src/main/scala/org/sireum/Os.scala
@@ -157,7 +157,7 @@ object Os {
       text = ops.StringOps(text).replaceAllLiterally("\n", " ")
       m.posOpt match {
         case Some(pos) if pos.uriOpt.nonEmpty =>
-          println(s"${Os.Path.fromUri(pos.uriOpt.get)}:${pos.beginLine}:${pos.beginColumn}:${pos.endLine}:${pos.endColumn}: $severity: $text")
+          println(s"${Os.Path.fromUri(pos.uriOpt.get)}:${pos.beginLine}:${pos.beginColumn}:${pos.endLine}:${pos.endColumn + 1}: $severity: $text")
         case _ =>
           println(s"$severity: $text")
       }