instantianted -> instantiated

diff --git a/README.md b/README.md
index 0b6dc86e8ca0f947a3af6fdf4af026584014abf7..1b7411e1a298d117bad296982a170c3f794b95e6 100644 (file)
--- 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