From 3e4c8adac202acf3452da6a22ca294ac363167d1 Mon Sep 17 00:00:00 2001
From: Petro Mudrievskyj <peter.mudrievskij@gmail.com>
Date: Fri, 9 Aug 2024 10:04:39 +0800
Subject: [PATCH] Fix assume false on inline 0

---
 Source/Core/Inline.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
index f5fc11126..d0de6e890 100644
--- a/Source/Core/Inline.cs
+++ b/Source/Core/Inline.cs
@@ -400,7 +400,7 @@ private int InlineCallCmd(Block block, CallCmd callCmd, Implementation impl, Lis
               else if (options.ProcedureInlining == CoreOptions.Inlining.Assume)
               {
                 // add assume
-                newCmds.Add(new AssumeCmd(callCmd.tok, Expr.False));
+                newCmds.Add(new AssumeCmd(callCmd.tok, Expr.True));
               }
               else
               {