diff options
| author |  qadeer <unknown> | 2013-10-25 12:37:44 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2013-10-25 12:37:44 -0700 |
| commit | 7c6276c0713adbc8b6cfbf9325a7cf1a103f7acc (patch) | |
| tree | b0052d4845cbe140dfbbe6336e5abfc7e68e1924 /Source/Core/Duplicator.cs | |
| parent | cfd809c669908fd5c00344901e4d146308860f49 (diff) | |
a minor refactoring + implemented mover checking
Diffstat (limited to 'Source/Core/Duplicator.cs')
| -rw-r--r-- | Source/Core/Duplicator.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs index ef958fa6..402ea7dc 100644 --- a/Source/Core/Duplicator.cs +++ b/Source/Core/Duplicator.cs @@ -407,9 +407,9 @@ namespace Microsoft.Boogie { /// <summary>
/// Apply a substitution to an expression replacing "old" expressions.
/// Outside "old" expressions, the substitution "always" is applied; any variable not in
- /// domain(always) is not changed. Inside "old" expressions, apply map "oldExpr" to
- /// variables in domain(oldExpr), apply map "always" to variables in
- /// domain(always)-domain(oldExpr), and leave variable unchanged otherwise.
+ /// domain(always) is not changed. Inside "old" expressions, apply map "forOld" to
+ /// variables in domain(forOld), apply map "always" to variables in
+ /// domain(always)-domain(forOld), and leave variable unchanged otherwise.
/// </summary>
public static Expr ApplyReplacingOldExprs(Substitution always, Substitution forold, Expr expr) {
Contract.Requires(expr != null);
|