From 4ab395733bd4208651ac3edb2fe06f3170201986 Mon Sep 17 00:00:00 2001
From: Unknown <akashl@akash-desk.fareast.corp.microsoft.com>
Date: Mon, 2 Apr 2012 10:48:11 +0530
Subject: bug fix for previous refactoring

---
 Source/VCGeneration/Check.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index b5dc4d41..a1b9e38d 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -823,8 +823,8 @@ namespace Microsoft.Boogie {
         throw new NotImplementedException();
     }
 
-    // (check-sat + get-unsat-core)
-    public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+    // (check-sat + get-unsat-core + checkOutcome)
+    public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
     {
         throw new NotImplementedException();
     }
-- 
cgit v1.2.3