eliminated class ErrorModel

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index bdbdd0f2..cc81be5b 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -493,7 +493,7 @@ namespace VC {
     protected string/*?*/ logFilePath;

     protected bool appendLogFile;

 

-    public static List<ErrorModel> errorModelList;

+    public static List<Model> errorModelList;

 

     public ConditionGeneration(Program p) {

       Contract.Requires(p != null);

@@ -535,14 +535,14 @@ namespace VC {
     /// each counterexample consisting of an array of labels.

     /// </summary>

     /// <param name="impl"></param>

-    public Outcome VerifyImplementation(Implementation impl, Program program, out List<Counterexample> errors, out List<ErrorModel> errorsModel)

+    public Outcome VerifyImplementation(Implementation impl, Program program, out List<Counterexample> errors, out List<Model> errorsModel)

     {

         Contract.Ensures(Contract.Result<Outcome>() != Outcome.Errors || Contract.ValueAtReturn(out errors) != null);

         Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);

         List<Counterexample> errorsOut;

 

         Outcome outcome;

-        errorModelList = new List<ErrorModel>();

+        errorModelList = new List<Model>();

         outcome = VerifyImplementation(impl, program, out errorsOut);

         errors = errorsOut;

         errorsModel = errorModelList;