From 38176263b7cc1d5fffe5b0b710d6fe1a34922b78 Mon Sep 17 00:00:00 2001
From: thanhnguyen-aws <ntson@amazon.com>
Date: Wed, 18 Jun 2025 08:17:32 -0700
Subject: [PATCH] fix loop assign

---
 src/ansi-c/goto-conversion/goto_convert.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ansi-c/goto-conversion/goto_convert.cpp b/src/ansi-c/goto-conversion/goto_convert.cpp
index 382c5725af3..132f3333919 100644
--- a/src/ansi-c/goto-conversion/goto_convert.cpp
+++ b/src/ansi-c/goto-conversion/goto_convert.cpp
@@ -1078,7 +1078,7 @@ void goto_convertt::convert_loop_contracts(
   if(assigns.is_not_nil())
   {
     PRECONDITION(loop->is_goto() || loop->is_incomplete_goto());
-    loop->condition_nonconst().add(ID_C_spec_assigns).swap(assigns.op());
+    loop->condition_nonconst().add(ID_C_spec_assigns).swap(assigns);
   }
 
   auto invariant =