Merge pull request #2703 from jasonhemann/patch-6

s/avaibale/available/
mthom · Dec 14, 2024 · b919a39 · b919a39
2 parents 84fc639 + a15b278
commit b919a39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
@@ -661,7 +661,7 @@
 
 %% 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.