From da4c0a359b99217b717a7a25e1e48cd8fab48a82 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 1 Feb 2023 23:26:52 +0100 Subject: [PATCH] correct DocLog ~/.scryerrc rendering --- src/lib/clpz.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index d6223a45..0e860bf3 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -416,7 +416,7 @@ The [_arithmetic constraints_](#clpz-arith-constraints) `(#=)/2`, `(#>)/2` etc. are meant to be used _instead_ of the primitives `(is)/2`, `(=:=)/2`, `(>)/2` etc. over integers. Almost all Prolog programs also reason about integers. Therefore, it is recommended that -you put the following directive in your =|~/.scryerrc|= initialisation +you put the following directive in your `~/.scryerrc` initialisation file to make CLP(ℤ) constraints available in all your programs: ``` -- 2.54.0