diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-08 18:45:12 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-08 18:45:12 -0700 |
| commit | ad72c87ecc37ee9fef47a1d0b8484a2869a73bff (patch) | |
| tree | d087c244a227a427f2644c101ac3ceaf8bc82d09 /Dafny | |
| parent | c777b247b8cc689447acc64934f801e2d7d98393 (diff) | |
| parent | 77143785c8b7c1edd07ae47817f1232688d65802 (diff) | |
Merge
Diffstat (limited to 'Dafny')
| -rw-r--r-- | Dafny/Resolver.cs | 1 |
1 files changed, 0 insertions, 1 deletions
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.
|