Skip to content

Commit

Permalink
Add CHANGELOG entry
Browse files Browse the repository at this point in the history
  • Loading branch information
@bugarela
bugarela committed Mar 8, 2024
1 parent ffc2437 commit daf2e57
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .unreleased/bug-fixes/quint-lambda-types-conversion.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
Use the type inferred by Quint to build lambda bodies, avoiding mismatches with
Apalache type variables. (#2856)

0 comments on commit daf2e57

Please sign in to comment.