diff options
author | 2013-07-22 22:51:04 +0100 | |
---|---|---|
committer | 2013-07-22 22:51:04 +0100 | |
commit | 07e15dce2315f99bcbc7b3aa558653feec9de906 (patch) | |
tree | 0dc266c3c2cef8ff33764401fb33b6540ee54ffa /Source/Core/Util.cs | |
parent | 793c0c0ded44401a1d6ef1bf494dd0a3d0b8dc43 (diff) |
ExprSeq: farewell
Diffstat (limited to 'Source/Core/Util.cs')
-rw-r--r-- | Source/Core/Util.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index 09b6664e..c14cb82e 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -369,7 +369,7 @@ namespace Microsoft.Boogie { } else if (e is NAryExpr) {
NAryExpr ne = (NAryExpr)e;
IAppliable fun = ne.Fun;
- ExprSeq eSeq = ne.Args;
+ List<Expr> eSeq = ne.Args;
if (fun != null) {
if ((fun.FunctionName == "$Length" || fun.FunctionName == "$StringLength") && eSeq.Count == 1) {
Expr e0 = eSeq[0];
|