diff options
author | 2015-01-16 10:09:26 -0800 | |
---|---|---|
committer | 2015-01-16 10:09:26 -0800 | |
commit | 214b1a07c44d10eac99200147fe46e57a0297513 (patch) | |
tree | 69b4217d2d96c23f822f9b563b88b8d57ccccfb2 /Source/Core/Util.cs | |
parent | 2358c4a57c4fa3bd21fe97f5000f321a78534694 (diff) | |
parent | 007a11fe5e8deda771ea4215557ad7143c8d608c (diff) |
Merge
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) {
|