diff --git a/src/builtin.elpi b/src/builtin.elpi index 46c084960..4b396c3ad 100644 --- a/src/builtin.elpi +++ b/src/builtin.elpi @@ -510,7 +510,7 @@ external pred random.int i:int, o:int. % Conventions: % - all predicates declare a mode with some input arguments, unless... % - predicates whose name ends with R are relations (work in any direction, -% that is all arguments are in ouput mode) +% that is all arguments are in output mode) % - predicates whose name ends with ! do contain a cut and generate only the % first result % - all errors given by this library end up calling fatal-error[-w-data], diff --git a/src/builtin_stdlib.elpi b/src/builtin_stdlib.elpi index f5eb21ec9..6e917ee67 100644 --- a/src/builtin_stdlib.elpi +++ b/src/builtin_stdlib.elpi @@ -3,7 +3,7 @@ % Conventions: % - all predicates declare a mode with some input arguments, unless... % - predicates whose name ends with R are relations (work in any direction, -% that is all arguments are in ouput mode) +% that is all arguments are in output mode) % - predicates whose name ends with ! do contain a cut and generate only the % first result % - all errors given by this library end up calling fatal-error[-w-data],