From 753a0fd0e249fdadd49cf32e88fb65b7923f5cd4 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 5 Oct 2020 14:51:48 +0200
Subject: Document the removal of forward class hints.

---
 doc/sphinx/language/core/assumptions.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/language/core/assumptions.rst b/doc/sphinx/language/core/assumptions.rst
index fe10e345cd..41e1c30f0d 100644
--- a/doc/sphinx/language/core/assumptions.rst
+++ b/doc/sphinx/language/core/assumptions.rst
@@ -138,7 +138,7 @@ has type :n:`@type`.
       | {| Variable | Variables }
       assumpt ::= {+ @ident_decl } @of_type
       ident_decl ::= @ident {? @univ_decl }
-      of_type ::= {| : | :> | :>> } @type
+      of_type ::= {| : | :> } @type
 
    These commands bind one or more :n:`@ident`\(s) to specified :n:`@type`\(s) as their specifications in
    the global context. The fact asserted by the :n:`@type` (or, equivalently, the existence
-- 
cgit v1.2.3