diff options
| -rw-r--r-- | compiler/Main.ml | 5 |
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 = |