From 77143785c8b7c1edd07ae47817f1232688d65802 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Fri, 3 Aug 2012 16:32:14 -0700
Subject: Dafny: corrected comment

---
 Dafny/Resolver.cs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Dafny')

diff --git a/Dafny/Resolver.cs b/Dafny/Resolver.cs
index 118e540f..17f35b1e 100644
--- a/Dafny/Resolver.cs
+++ b/Dafny/Resolver.cs
@@ -4719,7 +4719,6 @@ namespace Microsoft.Dafny
       //  - unamibugous type/module name (class, datatype, sub-module (including submodules of imports) or arbitrary-type)
       //       (if two imported types have the same name, an error message is produced here)
       //  - unambiguous constructor name of a datatype (if two constructors have the same name, an error message is produced here)
-      //  - imported module name
       //  - field, function or method name (with implicit receiver) (if the field is occluded by anything above, one can use an explicit "this.")
       //  - static function or method in the enclosing module, or its imports.
 
-- 
cgit v1.2.3