diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/backpack/algorithm.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/backpack/algorithm.tex b/docs/backpack/algorithm.tex index 1c7192c0c3..c98781c6ad 100644 --- a/docs/backpack/algorithm.tex +++ b/docs/backpack/algorithm.tex @@ -671,7 +671,7 @@ we have to type-check the \I{ModIface} with the following adjustments: with a unit key that is a $\verb|hole|$, substitute with the recorded \I{Name} in the requirements of the shape. Otherwise, look up the (unique) \I{ModIface} for the \I{Module}, - and subsitute with the corresponding \I{Name} in the \I{mi\_exports}. + and substitute with the corresponding \I{Name} in the \I{mi\_exports}. \end{enumerate} \paragraph{Signatures} For signatures, we have a \I{Module} of the form |