1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index a52a7087..cb28cd7d 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;
@@ -909,7 +909,7 @@ namespace VC {
     }
 
 
-    protected class CounterexampleCollector : VerifierCallback {
+    public class CounterexampleCollector : VerifierCallback {
       [ContractInvariantMethod]
       void ObjectInvariant() {
         Contract.Invariant(cce.NonNullElements(examples));