another typo

This commit is contained in:
Gabriel Scherer 2020-06-08 07:05:18 +02:00
parent 2b7d5cee89
commit 45e1582804
1 changed files with 1 additions and 1 deletions

View File

@ -444,7 +444,7 @@ As a final example, let us revisit our ``tuple'' case with this new API.
in
let@ (vs, utys) = traverse us in
let+ () = w --- Infer.product vs
and+ utys' = utys
and+ utys = utys
in F.Tuple utys
\end{lstlisting}
\end{minipage}