Typo

Fixes #1039
GaloisInc · Feb 18, 2021 · 6b784b1 · 6b784b1
1 parent 5f3ff5b
commit 6b784b1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf
diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -3445,7 +3445,7 @@ \section{Newtype declarations}
 Sometimes it it useful to be able to define a truly \emph{new} type
 that the typechecker will recognize as distinct from all other types.
 For example, one might wish to define a type with internal invariants,
-or use a collection of data in a way is semantically different from
+or use a collection of data in a way that is semantically different from
 the default implementations of arithmetic or comparison.  For
 situations like this, where the programmer desires a lightweight
 abstraction barrier, a \texttt{newtype} declaration allows the