From 9738a16ff00fcaaa5bf2dbe6af4ee2e28b5c76c6 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 21 May 2012 11:44:37 -0700
Subject: small fix

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

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 8ff43c4c..8f9f7498 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -95,7 +95,7 @@ namespace VC
                 newCmdSeq.Add(new AssumeCmd(Token.NoToken, Expr.Eq(Expr.Ident(newVar), e)));
                 exprs.Add(Expr.Ident(newVar));
               }
-              newCmdSeq.Add(new NAryExpr(Token.NoToken, naryExpr.Fun, exprs));
+              newCmdSeq.Add(new AssumeCmd(Token.NoToken, new NAryExpr(Token.NoToken, naryExpr.Fun, exprs)));
             }
             return newCmdSeq;
           }
-- 
cgit v1.2.3