diff options
author | qadeer <qadeer@microsoft.com> | 2011-11-16 11:40:16 -0800 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-11-16 11:40:16 -0800 |
commit | f99b8c0a6af826c2b74f1b4143520e080453e033 (patch) | |
tree | 9e3aad9a2ce558f88a4bc064faa31c55cbe94427 /Source/VCGeneration/ConditionGeneration.cs | |
parent | 1fc8bd36cc4320fa6a7796c05f6805ecb3594fc8 (diff) |
Eliminated unused argument in the constructor for Checker
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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;
|