fixed up SI to work with new error trace generation

1 files changed, 1 insertions, 5 deletions

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 73ca71b2..5176d494 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -734,10 +734,6 @@ namespace Microsoft.Boogie {
       Undetermined

     }

     public class ErrorHandler {

-      public virtual void OnModel(Dictionary<int, IList<string>> labels, ErrorModel errModel) {

-

-      }

-

       public virtual void OnModel(IList<string> labels, ErrorModel errModel) {

         Contract.Requires(cce.NonNullElements(labels));

       }

@@ -774,7 +770,7 @@ namespace Microsoft.Boogie {
     public abstract void BeginCheck(string descriptiveName, VCExpr vc, ErrorHandler handler);

     [NoDefaultContract]

     public abstract Outcome CheckOutcome(ErrorHandler handler);

-    public virtual Outcome CheckOutcome(ErrorHandler handler, IEnumerable<int> controlFlowConstants) {

+    public virtual string[] CalculatePath(int controlFlowConstant) {

       throw new System.NotImplementedException();

     }

     public virtual void LogComment(string comment) {