diff options
| -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;
}
|