Fix grammar in manual: s/term/terms/

[ci skip]
GaloisInc · Jun 18, 2021 · 712f515 · 712f515
1 parent 78ea74f
commit 712f515
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/manual/manual.md b/doc/manual/manual.md
@@ -937,7 +937,7 @@ the given `Simpset`.
 rules from the SAWCore `Prelude` module to a `Simpset`.
 
 * `add_prelude_eqs : [String] -> Simpset -> Simpset` adds equality-typed
-term from the SAWCore `Prelude` module to a `Simpset`.
+terms from the SAWCore `Prelude` module to a `Simpset`.
 
 Finally, it's possible to construct a theorem from an arbitrary SAWCore
 expression (rather than a Cryptol expression), using the `core_axiom`