Fixed typo reported by Jan Vandenheede

SWI-Prolog · Sep 21, 2024 · f272752 · f272752
1 parent 8603c0c
commit f272752
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/man/glossary.doc b/man/glossary.doc
@@ -215,7 +215,7 @@ Operator (\const{:-}) separating \g{head} from \g{body} in a \g{clause}.
 Short for \g{non deterministic}.
 
     \glossitem{non deterministic}\index{non deterministic}%
-A \g{non deterministic} predicate is a predicate that mail fail or
+A \g{non deterministic} predicate is a predicate that may fail or
 succeed any number of times.
 
     \glossitem{operator}\index{operator}%