From: Tobias Nießen <tniessen@users.noreply.github.com>
Date: Thu, 18 Feb 2021 15:53:10 +0000 (+0100)
Subject: instantianted -> instantiated
X-Git-Tag: v0.9.0~151^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=395b5faa2df43d357fa3012e6dd92f2cb96fae68;p=scryer-prolog.git

instantianted -> instantiated
---

diff --git a/README.md b/README.md
index 0b6dc86e..1b7411e1 100644
--- a/README.md
+++ b/README.md
@@ -247,7 +247,7 @@ maplist(Goal_1, [L|Ls]) :-
         maplist(Goal_1, Ls).
 ```
 
-In this case, first instantianted argument indexing automatically uses
+In this case, first instantiated argument indexing automatically uses
 the *second* argument for indexing, and thus prevents choicepoints for
 calls with lists of fixed lengths (and deterministic goals).
 Conveniently, no auxiliary predicates with reordered arguments are