From 018ff98d7719da19818832258d113e8780ff22fe Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 18 Nov 2013 18:55:22 -0800
Subject: Use full name of type in compilation error

---
 Source/Dafny/Compiler.cs | 2 +-
 Test/dafny0/Answer       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs
index f91f53d1..fbb51bb2 100644
--- a/Source/Dafny/Compiler.cs
+++ b/Source/Dafny/Compiler.cs
@@ -93,7 +93,7 @@ namespace Microsoft.Dafny {
           wr.WriteLine();
           if (d is ArbitraryTypeDecl) {
             var at = (ArbitraryTypeDecl)d;
-            Error("Arbitrary type ('{0}') cannot be compiled", at.CompileName);
+            Error("Arbitrary type ('{0}') cannot be compiled", at.FullName);
           } else if (d is DatatypeDecl) {
             var dt = (DatatypeDecl)d;
             Indent(indent);
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer
index 3bee3088..13613f66 100644
--- a/Test/dafny0/Answer
+++ b/Test/dafny0/Answer
@@ -2403,7 +2403,7 @@ Dafny program verifier finished with 30 verified, 0 errors
 Compiled assembly into Compilation.exe
 
 Dafny program verifier finished with 9 verified, 0 errors
-Compilation error: Arbitrary type ('MyType') cannot be compiled
+Compilation error: Arbitrary type ('_module.MyType') cannot be compiled
 Compilation error: Iterator _module.Iter has no body
 Compilation error: Method _module._default.M has no body
 Compilation error: Method _module._default.P has no body
-- 
cgit v1.2.3