diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 22:51:04 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 22:51:04 +0100 |
| commit | 07e15dce2315f99bcbc7b3aa558653feec9de906 (patch) | |
| tree | 0dc266c3c2cef8ff33764401fb33b6540ee54ffa /Source/VCExpr | |
| parent | 793c0c0ded44401a1d6ef1bf494dd0a3d0b8dc43 (diff) | |
ExprSeq: farewell
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/Boogie2VCExpr.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs index 6dc69528..22ba09be 100644 --- a/Source/VCExpr/Boogie2VCExpr.cs +++ b/Source/VCExpr/Boogie2VCExpr.cs @@ -75,7 +75,7 @@ namespace Microsoft.Boogie.VCExprAST { return Pop();
}
- public List<VCExpr/*!*/>/*!*/ Translate(ExprSeq exprs) {
+ public List<VCExpr/*!*/>/*!*/ Translate(List<Expr> exprs) {
Contract.Requires(exprs != null);
Contract.Ensures(cce.NonNullElements(Contract.Result<List<VCExpr>>()));
List<VCExpr/*!*/>/*!*/ res = new List<VCExpr/*!*/>();
|