Added routine OneAttributeToString to pretty printer

1 files changed, 10 insertions, 0 deletions

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 8d68e3e2..f66f40a1 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -5761,6 +5761,16 @@ namespace Microsoft.Dafny {
       Contract.Requires(name != null);

       Name = name;

     }

+    /// <summary>

+    /// Constructs a resolved IdentifierExpr.

+    /// </summary>

+    public IdentifierExpr(IVariable v)

+      : base(v.Tok) {

+      Contract.Requires(v != null);

+      Name = v.Name;

+      Var = v;

+      Type = v.Type;

+    }

   }

 

   /// <summary>