From 7f8fc9de25b39aac1217d9d548d3120d4d946448 Mon Sep 17 00:00:00 2001
From: Robert <27515600+RobertMensing@users.noreply.github.com>
Date: Wed, 4 Dec 2024 11:17:56 +0100
Subject: [PATCH] Fix bug where return-argument gets added to wrapper of pallas
 requires-clause

---
 src/rewrite/vct/rewrite/lang/LangLLVMToCol.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rewrite/vct/rewrite/lang/LangLLVMToCol.scala b/src/rewrite/vct/rewrite/lang/LangLLVMToCol.scala
index fd9a06739..ac47e1982 100644
--- 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(