From 448ea978318a9f8c9bb611803aa01f934b111fe9 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Wed, 27 Jan 2016 11:11:04 +0100 Subject: Typos in comments --- docs/backpack/algorithm.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/backpack/algorithm.tex') 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 -- cgit v1.2.1