From 395b5faa2df43d357fa3012e6dd92f2cb96fae68 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Tobias=20Nie=C3=9Fen?= <tniessen@users.noreply.github.com>
Date: Thu, 18 Feb 2021 16:53:10 +0100
Subject: [PATCH] instantianted -> instantiated

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.54.0