From: Jason Hemann <jason.hemann@gmail.com>
Date: Fri, 13 Dec 2024 18:41:05 +0000 (-0500)
Subject: s/avaibale/available/
X-Git-Tag: v0.10.0~99^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a15b2789e248408d29050562482ce2f878e9445b;p=scryer-prolog.git

s/avaibale/available/

Quick typo fix to docs.
---

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.