Make a minor modification

1 files changed, 4 insertions, 1 deletions

diff --git a/compiler/Main.ml b/compiler/Main.ml
index 88c32ca9..798bcec3 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -282,7 +282,10 @@ let () =
          (* The error should have been saved *)
          let meta =
            match !Errors.error_list with
-           | (m, _) :: _ -> m
+           | (m, msg') :: _ ->
+               (* The last saved message should be the current error - but
+                  good to check *)
+               if msg = msg' then m else None
            | _ -> (* Want to be safe here *) None
          in
          let msg =