Fix bug where return-argument gets added to wrapper of pallas require…

…s-clause
utwente-fmt · Dec 4, 2024 · 7f8fc9d · 7f8fc9d
1 parent ffffac8
commit 7f8fc9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rewrite/vct/rewrite/lang/LangLLVMToCol.scala b/src/rewrite/vct/rewrite/lang/LangLLVMToCol.scala
@@ -418,7 +418,7 @@ case class LangLLVMToCol[Pre <: Generation](rw: LangSpecificToCol[Pre])
   private def getPallasSpecRetArg(
       wFunc: LLVMFunctionDefinition[Pre]
   ): Option[Variable[Post]] = {
-    if (!wFunc.needsWrapperResultArg) { None }
+    if (!wFunc.needsWrapperResultArg) { return None }
     wFunc.pallasExprWrapperFor match {
       case Some(pFunc) =>
         Some(