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
               {