Fixed issue #59.

2 files changed, 2 insertions, 1 deletions

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index f78def79..1280e3fd 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -1163,7 +1163,7 @@ TypeAndToken<out IToken tok, out Type ty>
                                        }

                                     .)

   | (. Expression e; tok = t; .)

-    NameSegmentForTypeName<out e>

+    NameSegmentForTypeName<out e> (. tok = t; .)

     { "." ident                      (. tok = t; List<Type> typeArgs = null; .)

       [ (. typeArgs = new List<Type>(); .)

         GenericInstantiation<typeArgs>

diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs
index 840627bb..295160c2 100644
--- a/Source/Dafny/Parser.cs
+++ b/Source/Dafny/Parser.cs
@@ -1633,6 +1633,7 @@ bool IsType(ref IToken pt) {
 		case 1: {

 			Expression e; tok = t; 

 			NameSegmentForTypeName(out e);

+			tok = t; 

 			while (la.kind == 25) {

 				Get();

 				Expect(1);