No braces

7i6ht · 7i6ht · commit 590da0cc8acd · 2024-10-19T17:41:26.000+02:00
diff --git a/src/main/scala/viper/server/frontends/lsp/file/QuantifierInlayHints.scala b/src/main/scala/viper/server/frontends/lsp/file/QuantifierInlayHints.scala
@@ -13,7 +13,7 @@ import viper.silver.ast.{AbstractSourcePosition, QuantifiedExp, Trigger}
 trait QuantifierInlayHints extends ProjectAware {
   def handleQuantifierChosenTriggers(quantifier: QuantifiedExp, triggers: Seq[Trigger], oldTriggers: Seq[Trigger]): Unit = {
     if (!quantifier.exp.pos.isInstanceOf[AbstractSourcePosition]) {
-      coordinator.logger.error(s"Got chosen triggers, but quantifier has no position: ${quantifier.toString()}")
+      coordinator.logger.error(s"Got chosen triggers, but quantifier has no position: ${quantifier.toString}")
       return
     }
     val pos = RangePosition(quantifier.exp.pos.asInstanceOf[AbstractSourcePosition])

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ import viper.silver.ast.{AbstractSourcePosition, QuantifiedExp, Trigger}`
`13`	`13`	`trait QuantifierInlayHints extends ProjectAware {`
`14`	`14`	`def handleQuantifierChosenTriggers(quantifier: QuantifiedExp, triggers: Seq[Trigger], oldTriggers: Seq[Trigger]): Unit = {`
`15`	`15`	`if (!quantifier.exp.pos.isInstanceOf[AbstractSourcePosition]) {`
`16`		`- coordinator.logger.error(s"Got chosen triggers, but quantifier has no position: ${quantifier.toString()}")`
	`16`	`+ coordinator.logger.error(s"Got chosen triggers, but quantifier has no position: ${quantifier.toString}")`
`17`	`17`	`return`
`18`	`18`	`}`
`19`	`19`	`val pos = RangePosition(quantifier.exp.pos.asInstanceOf[AbstractSourcePosition])`