From e2cdf4a951699ccf433aebe393685890b8c9175d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 25 Jun 2013 13:44:06 -0700
Subject: Did some refactoring in the execution engine and worked on the
 parallelization.

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

(limited to 'Source/Doomed')

diff --git a/Source/Doomed/DoomCheck.cs b/Source/Doomed/DoomCheck.cs
index 1cbbeabf..1b78afc3 100644
--- a/Source/Doomed/DoomCheck.cs
+++ b/Source/Doomed/DoomCheck.cs
@@ -117,7 +117,7 @@ void ObjectInvariant()
             outcome = ProverInterface.Outcome.Undetermined;
             Contract.Assert( m_ErrorHandler !=null);
             m_Checker.BeginCheck(lv[0].Name, vc, m_ErrorHandler);
-            m_Checker.ProverDone.WaitOne();
+            m_Checker.ProverTask.Wait();
             
             try {
               outcome = m_Checker.ReadOutcome();
-- 
cgit v1.2.3