diff options
author | qadeer <qadeer@microsoft.com> | 2011-11-22 14:02:46 -0800 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-11-22 14:02:46 -0800 |
commit | ba38406f3745d8b9c5eead3436f60f37bdd23602 (patch) | |
tree | c853d76a8c2f8e261d84724b75fab3f441ebacc3 /Source | |
parent | 5b8eab28bae6a7730da1880e63e82f7b54a7e040 (diff) | |
parent | 9be82a702255a26e458440e8fdee9be061c8e39e (diff) |
Merge
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/Absy.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index 73f494f3..0aaf3c46 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -308,7 +308,7 @@ namespace Microsoft.Boogie { Contract.Requires(rc != null);
// first resolve type constructors
foreach (Declaration d in TopLevelDeclarations) {
- if (d is TypeCtorDecl)
+ if (d is TypeCtorDecl && !QKeyValue.FindBoolAttribute(d.Attributes, "ignore"))
d.Resolve(rc);
}
@@ -316,7 +316,7 @@ namespace Microsoft.Boogie { List<TypeSynonymDecl/*!*/>/*!*/ synonymDecls = new List<TypeSynonymDecl/*!*/>();
foreach (Declaration d in TopLevelDeclarations) {
Contract.Assert(d != null);
- if (d is TypeSynonymDecl)
+ if (d is TypeSynonymDecl && !QKeyValue.FindBoolAttribute(d.Attributes, "ignore"))
synonymDecls.Add((TypeSynonymDecl)d);
}
|