]> Repositorios git - scryer-prolog.git/commitdiff
correct DocLog ~/.scryerrc rendering
authorMarkus Triska <[email protected]>
Wed, 1 Feb 2023 22:26:52 +0000 (23:26 +0100)
committerMarkus Triska <[email protected]>
Wed, 1 Feb 2023 22:26:52 +0000 (23:26 +0100)
src/lib/clpz.pl

index d6223a45963930198b433cb8fb1b64c87905d487..0e860bf3a838167458265bfbbafdff9bb4698bb2 100644 (file)
@@ -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:
 
 ```