Henrique's addition to the the ErrorHandler API to retrieve models

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 68d34547..a906f137 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -2909,6 +2909,10 @@ namespace VC {
       public override void OnModel(IList<string/*!*/>/*!*/ labels, ErrorModel errModel) {

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

         if (CommandLineOptions.Clo.PrintErrorModel >= 1 && errModel != null) {

+            if (VC.ConditionGeneration.errorModelList != null)

+            {

+                VC.ConditionGeneration.errorModelList.Add(errModel);

+            }

           errModel.Print(ErrorReporter.ModelWriter);

           ErrorReporter.ModelWriter.Flush();

         }