diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-05-16 13:45:03 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-05-16 13:45:03 -0700 |
| commit | ddebd84b961b6ac942e4e97380ac1ff874e97386 (patch) | |
| tree | 9fa57def51e56a835760e48577c456a12c97910a /Source/Core/ResolutionContext.cs | |
| parent | 3628ed3ac55bc79515c0cb2c1bec9a21470c9d54 (diff) | |
convert assert to requires
Diffstat (limited to 'Source/Core/ResolutionContext.cs')
| -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;
|