From f7d37e69a3df1e049e0bee5d3a58ef2e7cf87af9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 28 Jan 2021 21:22:44 +0100
Subject: Replace : term with : type in open binders.

And update the doc_grammar files.
---
 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 8dbc1626ba..7566996ef6 100644
--- a/doc/sphinx/language/core/assumptions.rst
+++ b/doc/sphinx/language/core/assumptions.rst
@@ -9,7 +9,7 @@ Binders
 .. insertprodn open_binders binder
 
 .. prodn::
-   open_binders ::= {+ @name } : @term
+   open_binders ::= {+ @name } : @type
    | {+ @binder }
    name ::= _
    | @ident
-- 
cgit v1.2.3