From a15b2789e248408d29050562482ce2f878e9445b Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Fri, 13 Dec 2024 13:41:05 -0500 Subject: [PATCH] s/avaibale/available/ Quick typo fix to docs. --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index b6263218..0990ec88 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -661,7 +661,7 @@ write_term(Term, Options) :- %% write_term(+Stream, +Term, +Options). % -% Write Term to the stream Stream according to some output syntax options. The options avaibale are: +% Write Term to the stream Stream according to some output syntax options. The options available are: % % * `ignore_ops(+Boolean)` if `true`, the generic term representation is used everywhere. In `false` % (default), operators do not use that generic term representation. -- 2.54.0