From a7440ccb8d964bb99fd8772550ffd57f34064b1b Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 11 Jul 2013 17:25:10 -0700
Subject: Worked on the parallelization.

---
 Source/VCGeneration/VC.cs | 8 --------
 1 file changed, 8 deletions(-)

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

diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index d40b1008..4a89156b 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -317,10 +317,6 @@ namespace VC {
             ch.BeginCheck(cce.NonNull(impl.Name + "_smoke" + id++), vc, new ErrorHandler(label2Absy, this.callback));
             ch.ProverTask.Wait();
           }
-          catch
-          {
-            throw;
-          }
           finally
           {
             ch.GoBackToIdle();
@@ -1568,10 +1564,6 @@ namespace VC {
                 break;
               }
             }
-            catch
-            {
-              throw;
-            }
             finally
             {
               s.Checker.GoBackToIdle();
-- 
cgit v1.2.3