fix

UQ-PAC · Jan 14, 2025 · fa73de2 · fa73de2
1 parent ef7330a
commit fa73de2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/boogie/BCmd.scala b/src/main/scala/boogie/BCmd.scala
@@ -44,7 +44,7 @@ case class BAssume(body: BExpr, comment: Option[String] = None, override val att
 case class BProcedureCall(name: String, lhss: Seq[BVar] = Seq(), params: Seq[BExpr] = Seq(), comment: Option[String] = None) extends BCmd {
   override def toString: String = {
     if (lhss.isEmpty) {
-      s"call $attrString$name();"
+      s"call $attrString$name(${params.mkString(", ")});"
     } else {
       s"call $attrString${lhss.mkString(", ")} := $name(${params.mkString(", ")});"
     }