diff options
Diffstat (limited to 'toplevel/metasyntax.ml')
| -rw-r--r-- | toplevel/metasyntax.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index 6e63c4e13..85f8f61a8 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -310,8 +310,9 @@ let parse_format ((loc, str) : lstring) = else error "Empty format." with reraise -> - let e = Errors.push reraise in - Loc.raise loc e + let (e, info) = Errors.push reraise in + let info = Loc.add_loc info loc in + iraise (e, info) (***********************) (* Analyzing notations *) @@ -1136,7 +1137,7 @@ let with_lib_stk_protection f x = with reraise -> let reraise = Errors.push reraise in let () = Lib.unfreeze fs in - raise reraise + iraise reraise let with_syntax_protection f x = with_lib_stk_protection |