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