diff options
Diffstat (limited to 'Dafny/Translator.cs')
| -rw-r--r-- | Dafny/Translator.cs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Dafny/Translator.cs b/Dafny/Translator.cs index 5f382eb6..ce64e202 100644 --- a/Dafny/Translator.cs +++ b/Dafny/Translator.cs @@ -302,7 +302,9 @@ namespace Microsoft.Dafny { }
foreach (TopLevelDecl d in program.BuiltIns.SystemModule.TopLevelDecls) {
- if (d is DatatypeDecl) {
+ if (d is ArbitraryTypeDecl) {
+ // nothing to do--this is treated just like a type parameter
+ } else if (d is DatatypeDecl) {
AddDatatype((DatatypeDecl)d);
} else {
AddClassMembers((ClassDecl)d);
@@ -310,7 +312,9 @@ namespace Microsoft.Dafny { }
foreach (ModuleDecl m in program.Modules) {
foreach (TopLevelDecl d in m.TopLevelDecls) {
- if (d is DatatypeDecl) {
+ if (d is ArbitraryTypeDecl) {
+ // nothing to do--this is treated just like a type parameter
+ } else if (d is DatatypeDecl) {
AddDatatype((DatatypeDecl)d);
} else {
AddClassMembers((ClassDecl)d);
|