typo

FStarLang · Aug 25, 2022 · 3f9236c · 3f9236c
1 parent 1d6d923
commit 3f9236c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/Introduction.rst b/book/Introduction.rst
@@ -2,7 +2,7 @@ Introduction
 ============
 
 This manual documents Low*, a subset of F* that enjoys compilation to C
-through its companion compiler KaRaMeL. As such, KaRa\ **M**\ e\ **L**\ in offers an
+through its companion compiler KaRaMeL. As such, KaRa\ **M**\ e\ **L** offers an
 alternative to OCa\ **ML** for extracting and running F* programs (hence the
 name -- also a pun on K&R C).