Worked on the verification result caching (extracted functions).

1 files changed, 7 insertions, 0 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index d143e480..046d97b9 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2592,10 +2592,17 @@ namespace Microsoft.Boogie {
         if (result != null)

         {

           result = LiteralExpr.And(result, c);

+          result.Type = Type.Bool;

+          var nAryExpr = result as NAryExpr;

+          if (nAryExpr != null)

+          {

+            nAryExpr.TypeParameters = SimpleTypeParamInstantiation.EMPTY;

+          }

         }

         else

         {

           result = c;

+          result.Type = Type.Bool;

         }

       }

       return result;