From 9b7142661d51645b635e6a93c8a42cea7fe1f4fd Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 28 Oct 2021 15:16:47 +0200 Subject: [PATCH] typos (fix #115) --- src/builtin.elpi | 2 +- src/builtin_stdlib.elpi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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],