From 6f9c19ac2ae18cb8ea3cc3814109f6bb3004c330 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Sat, 28 Apr 2012 19:06:03 -0700
Subject: eliminated class ErrorModel

---
 Source/VCGeneration/StratifiedVC.cs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

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

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 18ff4c87..7e04e172 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -2714,7 +2714,7 @@ namespace VC
 
         public class EmptyErrorHandler : ProverInterface.ErrorHandler
         {
-            public override void OnModel(IList<string> labels, ErrorModel errModel)
+            public override void OnModel(IList<string> labels, Model model)
             {
                 
             }
@@ -2898,7 +2898,7 @@ namespace VC
               return;
             }
 
-            public override void OnModel(IList<string> labels, ErrorModel errModel) {
+            public override void OnModel(IList<string> labels, Model model) {
               List<Absy> absyList = new List<Absy>();
               foreach (var label in labels) {
                 absyList.Add(Label2Absy(label));
@@ -2907,9 +2907,6 @@ namespace VC
               orderedStateIds = new List<Tuple<int, int>>();
               candidatesToExpand = new List<int>();
 
-              Model model = null;
-              if (errModel != null) model = errModel.ToModel();
-
               if (underapproximationMode) {
                 var cex = NewTrace(0, absyList, model);
                 Debug.Assert(candidatesToExpand.Count == 0);
-- 
cgit v1.2.3