fixed a bug in inlining

changed the attribute on callee ensures to "HoudiniAssume" rather than "assume"

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index 716456ea..49273f94 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -2412,7 +2412,7 @@ namespace Microsoft.Boogie.Houdini {
                     QKeyValue.FindStringAttribute(ens.Attributes, "post") == null)

                 .Iter(ens => nensures.Add(ens));

                 foreach (Ensures en in nensures)

-                    en.Attributes = removeAttr("assume", en.Attributes);

+                    en.Attributes = removeAttr("HoudiniAssume", en.Attributes);

 

                 proc.Ensures = nensures;

             }