Update .unreleased/bug-fixes/quint-lambda-types-conversion.md

Co-authored-by: Shon Feder <[email protected]>
apalache-mc · Mar 8, 2024 · 3dac602 · 3dac602
1 parent daf2e57
commit 3dac602
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.unreleased/bug-fixes/quint-lambda-types-conversion.md b/.unreleased/bug-fixes/quint-lambda-types-conversion.md
@@ -1,2 +1,3 @@
-Use the type inferred by Quint to build lambda bodies, avoiding mismatches with
+When converting Quint lambdas, derive the return type from the Quint type inferred for 
+the lambda, rather the type inferred for the body expression, avoiding mismatches with
 Apalache type variables. (#2856)