Fix warnings in 2 test cases

Author: JonasAlaif

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

src/test/resources/all/issues/silver/0114-1.vpr

@@ -2,6 +2,7 @@
 // http://creativecommons.org/publicdomain/zero/1.0/
 
 define foo(x) true
+define foo(x) x
 
 method bar()
 {

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)