Mark temps that are generated in the resolver as auto-generated identifiers so

that they don't show up in the VS IDE

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>();