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/Doomed/DoomErrorHandler.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Doomed')

diff --git a/Source/Doomed/DoomErrorHandler.cs b/Source/Doomed/DoomErrorHandler.cs
index a85adbe1..8d89bae3 100644
--- a/Source/Doomed/DoomErrorHandler.cs
+++ b/Source/Doomed/DoomErrorHandler.cs
@@ -62,7 +62,7 @@ namespace VC
             }
         }
 
-        public override void OnModel(IList<string>/*!>!*/ labels, Model model)
+        public override void OnModel(IList<string>/*!>!*/ labels, Model model, ProverInterface.Outcome proverOutcome)
         {
             // TODO: it would be better to check which reachability variables are actually set to one!
             List<Block> traceNodes = new List<Block>();
-- 
cgit v1.2.3