From b1b2e4973487cd9fed17ab3b0add8852fd708ad9 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Wed, 20 Jan 2016 10:36:58 -0800
Subject: Mark temps that are generated in the resolver as auto-generated
 identifiers so that they don't show up in the VS IDE

---
 Source/Dafny/Resolver.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source')

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>();
-- 
cgit v1.2.3