Skip to content

Commit

Permalink
Update Changes
Browse files Browse the repository at this point in the history
  • Loading branch information
nojb committed Nov 16, 2018
1 parent 78f34ef commit 0e3ba1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Changes
Expand Up @@ -295,7 +295,7 @@ Working version
- GPR#1974: Trigger warning 5 in "let _ = e" and "ignore e" if e is of function
type and syntactically an application. (For the case of "ignore e" the warning
already existed, but used to be triggered even when e was not an application.)
(Nicolás Ojeda Bär, review by Alain Frisch)
(Nicolás Ojeda Bär, review by Alain Frisch and Jacques Garrigue)

### Code generation and optimizations:

Expand Down

0 comments on commit 0e3ba1c

Please sign in to comment.