diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-05-21 11:44:37 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-05-21 11:44:37 -0700 |
| commit | 9738a16ff00fcaaa5bf2dbe6af4ee2e28b5c76c6 (patch) | |
| tree | 5dcf6ce6aef7446229de245580e388351b0d9e4c /Source/VCGeneration | |
| parent | f409d38528dd105ac38f809f1acceab0be18302c (diff) | |
small fix
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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;
}
|