Fix warnings in 2 test cases

viperproject · Feb 9, 2024 · b8dfd93 · b8dfd93
1 parent 4653da0
commit b8dfd93
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/src/main/scala/viper/silver/parser/MacroExpander.scala b/src/main/scala/viper/silver/parser/MacroExpander.scala
@@ -72,7 +72,7 @@ object MacroExpander {
 
       if (nonUsedParameter.nonEmpty) {
         Some(ParseWarning(s"in macro `${define.idndef.name}`, the following parameters were defined but not used: " +
-          s"${nonUsedParameter.mkString(", ")} ", define.errorPosition))
+          s"${nonUsedParameter.mkString(", ")}", define.errorPosition))
       }
       else
         None

diff --git a/src/test/resources/all/issues/silver/0114-1.vpr b/src/test/resources/all/issues/silver/0114-1.vpr
@@ -1,7 +1,7 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
-define foo(x) true
+define foo(x) x
 
 method bar()
 {

diff --git a/src/test/resources/all/issues/silver/0114.vpr b/src/test/resources/all/issues/silver/0114.vpr
@@ -1,6 +1,7 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
+//:: ExpectedOutput(parser.warning)
 define B(x, res) true
 
 method test1(x: Ref)