s/avaibale/available/

Quick typo fix to docs.

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index b62632183ad83793bb241d6028e078ccce01c2b6..0990ec8843b1097bf84ac7ef8355ccdf9ecb6996 100644 (file)
--- 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.