diff options
author | qunyanm <unknown> | 2016-01-20 10:36:58 -0800 |
---|---|---|
committer | qunyanm <unknown> | 2016-01-20 10:36:58 -0800 |
commit | b1b2e4973487cd9fed17ab3b0add8852fd708ad9 (patch) | |
tree | 30ba04df0563781f79d2124bb0cb25b979f4f43c /Source | |
parent | 44b30341ed42c5348e860bb52c1940891068002b (diff) |
Mark temps that are generated in the resolver as auto-generated identifiers so
that they don't show up in the VS IDE
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Dafny/Resolver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index 79f1e7e1..4d900a1b 100644 --- a/Source/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs @@ -8194,8 +8194,8 @@ namespace Microsoft.Dafny // Create a unique name for d', the variable we introduce in the let expression
var tmpName = FreshTempVarName("dt_update_tmp#", opts.codeContext);
- var tmpVarIdExpr = new IdentifierExpr(tok, tmpName);
- var tmpVarBv = new BoundVar(tok, tmpName, root.Type);
+ var tmpVarIdExpr = new IdentifierExpr(new AutoGeneratedToken(tok), tmpName);
+ var tmpVarBv = new BoundVar(new AutoGeneratedToken(tok), tmpName, root.Type);
// Build the arguments to the datatype constructor, using the updated value in the appropriate slot
var ctor_args = new List<Expression>();
|