From b3c1b63ae910ec9df00594d7d14e852cf7e709e5 Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Sat, 28 Jun 2014 15:54:30 +0530
Subject: OnModel now carries the result of the prover call

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

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index 57ef660d..8b038554 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -4602,7 +4602,7 @@ namespace Microsoft.Boogie.Houdini {
             model = null;
         }
 
-        public override void OnModel(IList<string> labels, Model model)
+        public override void OnModel(IList<string> labels, Model model, ProverInterface.Outcome proverOutcome)
         {
             Debug.Assert(model != null);
             if(CommandLineOptions.Clo.PrintErrorModel >= 1) model.Write(Console.Out);
-- 
cgit v1.2.3