From 27cc9c245d21151a78c95cead4801ad130557743 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 20 Aug 2010 16:02:20 +0000
Subject: Boogie: Fixed some doubly-inherited-contract occurrences.

---
 Source/VCGeneration/ConditionGeneration.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCGeneration/ConditionGeneration.cs')

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index dea7a445..23f5c804 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -109,8 +109,8 @@ namespace Microsoft.Boogie {
 
   public class CounterexampleComparer : IComparer<Counterexample> {
     public int Compare(Counterexample c1, Counterexample c2) {
-      Contract.Requires(c1 != null);
-      Contract.Requires(c2 != null);
+      //Contract.Requires(c1 != null);
+      //Contract.Requires(c2 != null);
       if (c1.GetLocation() == c2.GetLocation())
         return 0;
       if (c1.GetLocation() > c2.GetLocation())
-- 
cgit v1.2.3