diff options
| -rw-r--r-- | Source/Core/ResolutionContext.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/ResolutionContext.cs b/Source/Core/ResolutionContext.cs index 803b1f8b..251ca1db 100644 --- a/Source/Core/ResolutionContext.cs +++ b/Source/Core/ResolutionContext.cs @@ -169,7 +169,7 @@ namespace Microsoft.Boogie { public void AddType(NamedDeclaration td) {
Contract.Requires(td != null);
- Contract.Assert((td is TypeCtorDecl) || (td is TypeSynonymDecl));
+ Contract.Requires((td is TypeCtorDecl) || (td is TypeSynonymDecl));
Contract.Requires(td.Name != null);
string name = td.Name;
|