CHANGES.

dc36f23b · POTTIER Francois · 071b032e · dc36f23b
Commit dc36f23b authored May 09, 2017 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

CHANGES.md CHANGES.md +8 -0

No files found.
--- a/CHANGES.md
+++ b/CHANGES.md
 # Changes

+## 2017/05/09
+
+* Menhir now always places OCaml line number directives in the generated `.ml`
+  file. (Until now, this was done only when `--infer` was off.) Thus, if a
+  semantic action contains an `assert` statement, the file name and line
+  number information carried by the `Assert_failure` exception should now be
+  correct. (Reported by Helmut Brandl.)
+
 ## 2017/04/18

 * Changed Menhir's license from QPL to GPLv2.