From 4eb70b6a0d4f4e2cedff4d4014911127d320a3b9 Mon Sep 17 00:00:00 2001
From: chmaria <unknown>
Date: Thu, 11 Jul 2013 11:45:00 -0700
Subject: Fixed printer bug to handle static receivers in function call
 expressions. (Thanks to Patrick Spettel.)

---
 Source/Dafny/Printer.cs | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'Source/Dafny/Printer.cs')

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 3f6203b0..0f5801e7 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -672,9 +672,9 @@ namespace Microsoft.Dafny {
           if (!s.Op.Equals(op)) {
             PrintCalcOp(op);
             wr.Write(" ");
-          }          
+          }
           PrintExpression(e, lineInd);
-          wr.WriteLine(";");          
+          wr.WriteLine(";");
         }
         Indent(indent);
         wr.Write("}");
@@ -990,7 +990,10 @@ namespace Microsoft.Dafny {
       Contract.Requires(-1 <= indent);
       Contract.Requires(expr != null);
 
-      if (expr is LiteralExpr) {
+      if (expr is StaticReceiverExpr) {
+        StaticReceiverExpr e = (StaticReceiverExpr)expr;
+        wr.Write(e.Type);
+      } else if (expr is LiteralExpr) {
         LiteralExpr e = (LiteralExpr)expr;
         if (e.Value == null) {
           wr.Write("null");
@@ -1354,7 +1357,7 @@ namespace Microsoft.Dafny {
         var e = (NamedExpr)expr;
         wr.Write("expr {0}: ", e.Name);
         PrintExpression(e.Body);
- 
+
        } else if (expr is SetComprehension) {
         var e = (SetComprehension)expr;
         bool parensNeeded = !isRightmost;
-- 
cgit v1.2.3