diff options
Diffstat (limited to 'Source/Core/Util.cs')
| -rw-r--r-- | Source/Core/Util.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index b28ac042..73008742 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -229,6 +229,12 @@ namespace Microsoft.Boogie { this.SetToken(t => absy.tok = t);
}
+ public void SetToken(IfThenElse expr)
+ {
+ Contract.Requires(expr != null);
+ this.SetToken(t => expr.tok = t);
+ }
+
public void SetToken(Action<IToken> setter) {
Contract.Requires(setter != null);
if (this.setTokens) {
|