From 448ea978318a9f8c9bb611803aa01f934b111fe9 Mon Sep 17 00:00:00 2001
From: Gabor Greif <ggreif@gmail.com>
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

