added more types to constructed expressions

1 files changed, 3 insertions, 0 deletions

diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs
index 7583d250..adfcc5c9 100644
--- a/Source/Concurrency/MoverCheck.cs
+++ b/Source/Concurrency/MoverCheck.cs
@@ -267,6 +267,7 @@ namespace Microsoft.Boogie
                     else

                     {

                         returnExpr = Expr.And(returnExpr, Expr.Eq(Expr.Ident(v), (new MyDuplicator()).VisitExpr(varToExpr[v])));

+                        returnExpr.Type = Type.Bool;

                     }

                 }

 

@@ -284,6 +285,7 @@ namespace Microsoft.Boogie
                     else

                     {

                         returnExpr = Expr.And(returnExpr, x);

+                        returnExpr.Type = Type.Bool;

                     }

                 }

                 

@@ -340,6 +342,7 @@ namespace Microsoft.Boogie
                         else

                         {

                             expr = Expr.And(expr, x);

+                            expr.Type = Type.Bool;

                         }

                     }

                     expr = Substituter.Apply(Substituter.SubstitutionFromHashtable(subst), expr);