From: Aman Verma Date: Thu, 27 Mar 2025 23:49:03 +0000 (-0500) Subject: Use backticks when referencing predicate in docs. X-Git-Tag: v0.10.0~62^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a45a1f61976cdd22e8aa2126746b2c00e1ac3f1f;p=scryer-prolog.git Use backticks when referencing predicate in docs. Trivial change but this prevents the HTML output from being erroneously italicized. --- diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 6834a379..b14546bc 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -458,7 +458,7 @@ replacements of these low-level arithmetic predicates, often yielding more general programs. See [`n_factorial/2`](#clpz-factorial) for an example. -This library uses goal_expansion/2 to automatically rewrite +This library uses `goal_expansion/2` to automatically rewrite constraints at compilation time so that low-level arithmetic predicates are _automatically_ used whenever possible. For example, the predicate: