From e6322e23958a937fa01960f8ce320717b9863253 Mon Sep 17 00:00:00 2001
From: JPR
Date: Tue, 21 May 2019 23:07:55 +0200
Subject: Fixing typos - Part 1

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/user-extensions')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index cda228a7da..6da42f4a48 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -1198,7 +1198,7 @@ The ``function_scope`` interpretation scope
 
 The scope ``function_scope`` also has a special status.
 It is temporarily activated each time the argument of a global reference is
-recognized to be a ``Funclass`` istance, i.e., of type :g:`forall x:A, B` or
+recognized to be a ``Funclass`` instance, i.e., of type :g:`forall x:A, B` or
 :g:`A -> B`.
 
 
-- 
cgit v1.2.3