Print endLine and endColumn in Os.printParseableMessages.

sireum · Aug 28, 2024 · bac5e4e · bac5e4e
1 parent fd05868
commit bac5e4e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Os.scala b/library/jvm/src/main/scala/org/sireum/Os.scala
@@ -153,9 +153,9 @@ 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}: $severity: $text")
+          println(s"${Os.Path.fromUri(pos.uriOpt.get)}:${pos.beginLine}:${pos.beginColumn}:${pos.endLine}:${pos.endColumn}: $severity: $text")
         case _ =>
-          println(s":1:1:$severity:$text")
+          println(s":1:1:1:1: $severity: $text")
       }
     }
   }