From ddebd84b961b6ac942e4e97380ac1ff874e97386 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 16 May 2011 13:45:03 -0700
Subject: convert assert to requires

---
 Source/Core/ResolutionContext.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit v1.2.3