Skip to content

Commit

Permalink
Changes
Browse files Browse the repository at this point in the history
  • Loading branch information
trefis committed Apr 30, 2018
1 parent 422a9b5 commit 9e107ee
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Changes
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,9 @@ Working version
-GPR#1733: change the perspective of the unexpected existential error message
(Florian Angeletti, review by Gabriel Scherer and Jeremy Yallop)

- GPR#1737: Update locations during destructive substitutions
(Thomas Refis, review by ...)

### Code generation and optimizations:

### Runtime system:
Expand Down

0 comments on commit 9e107ee

Please sign in to comment.