From f99b8c0a6af826c2b74f1b4143520e080453e033 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Wed, 16 Nov 2011 11:40:16 -0800
Subject: Eliminated unused argument in the constructor for Checker

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

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

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index a52a7087..b8645cb0 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -894,7 +894,7 @@ namespace VC {
       string log = logFilePath;
       if (log != null && !log.Contains("@PROC@") && checkers.Count > 0)
         log = log + "." + checkers.Count;
-      Checker ch = new Checker(this, program, log, appendLogFile, impl, timeout);
+      Checker ch = new Checker(this, program, log, appendLogFile, timeout);
       Contract.Assert(ch != null);
       checkers.Add(ch);
       return ch;
-- 
cgit v1.2.3