diff options
author | MichalMoskal <unknown> | 2011-02-11 19:55:36 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-02-11 19:55:36 +0000 |
commit | 1d83074ef6903514110415f24b092e52740aa7bf (patch) | |
tree | 7b36d372ef54804923c7e4314b1b70e71162756e /Source/Core/AbsyQuant.cs | |
parent | 4760c55b4a09e4b11039e9537371a98f657d7704 (diff) |
Fix a bug in cloning of nested lambda expressions in AI engine
Diffstat (limited to 'Source/Core/AbsyQuant.cs')
-rw-r--r-- | Source/Core/AbsyQuant.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index e677f85c..0f29c9a0 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -390,7 +390,7 @@ namespace Microsoft.Boogie { if (innerquant.arg.dummyIndex > 0) {
realquant = innerquant.arg.RealQuantifier;
} else {
- realquant = (QuantifierExpr)RealQuantifier.Clone();
+ realquant = (BinderExpr)RealQuantifier.Clone();
VariableSeq/*!*/ newdummies = new VariableSeq();
newdummies.Add(Param);
newdummies.AddRange(innerquant.arg.RealQuantifier.Dummies);
|