Update src/main/scala/viper/silver/reporter/Reporter.scala

marcoeilers · ArquintL · web-flow · commit 96f2fca2fbbd · 2025-03-18T15:09:49.000+01:00
Co-authored-by: Linard Arquint &lt;ArquintL@users.noreply.github.com&gt;
diff --git a/src/main/scala/viper/silver/reporter/Reporter.scala b/src/main/scala/viper/silver/reporter/Reporter.scala
@@ -31,7 +31,7 @@ trait PluginAwareReporter extends Reporter {
     plugins = pm
   }
 
-  override def report(msg: Message): Unit = {
+  final override def report(msg: Message): Unit = {
     if (plugins.isEmpty)
       return doReport(msg)
     msg match {

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ trait PluginAwareReporter extends Reporter {`
`31`	`31`	`plugins = pm`
`32`	`32`	`}`
`33`	`33`
`34`		`- override def report(msg: Message): Unit = {`
	`34`	`+ final override def report(msg: Message): Unit = {`
`35`	`35`	`if (plugins.isEmpty)`
`36`	`36`	`return doReport(msg)`
`37`	`37`	`msg match {`