From: Markus Triska <triska@metalevel.at>
Date: Mon, 27 Apr 2020 17:53:25 +0000 (+0200)
Subject: `if_` --> `if_/3`
X-Git-Tag: v0.8.123~102^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5f35dffa34387cc48d23f128a0e90bc627cc24b3;p=scryer-prolog.git

`if_` --> `if_/3`
---

diff --git a/README.md b/README.md
index 202a5b42..e30bd1b7 100644
--- a/README.md
+++ b/README.md
@@ -40,7 +40,7 @@ Extend Scryer Prolog to include the following, among other features:
   - [x] Support for `verify_attributes/3`
   - [x] Support for `attribute_goals/2` and `project_attributes/2`
   - [x] `call_residue_vars/2`
-- [x] `if_` and related predicates, following the developments of the
+- [x] `if_/3` and related predicates, following the developments of the
       paper "Indexing `dif/2`".
 - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`).
 - [x] Clause creation and destruction (`asserta/1`, `assertz/1`,