1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index b622b792..b1622efd 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -5468,6 +5468,10 @@ namespace Microsoft.Dafny {
           Bpl.LocalVariable var = new Bpl.LocalVariable(local.Tok, new Bpl.TypedIdent(local.Tok, local.AssignUniqueName(currentDeclaration), varType, wh));
           var.Attributes = etran.TrAttributes(local.Attributes, null); ;
           locals.Add(var);
+          if (Attributes.Contains(local.Attributes, "assumption"))
+          {
+            builder.Add(new AssumeCmd(local.Tok, new Bpl.IdentifierExpr(local.Tok, local.AssignUniqueName(currentDeclaration), varType), new QKeyValue(local.Tok, "assumption_variable_initialization", new List<object>(), null)));
+          }
         }
         if (s.Update != null) {
           TrStmt(s.Update, builder, locals, etran);