From 5e58df994c31776563d8832c0eb65e51d24e7652 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 30 Nov 2018 22:54:57 +0100
Subject: A few fixes of unexisting tokens.

---
 doc/sphinx/addendum/program.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/addendum/program.rst')

diff --git a/doc/sphinx/addendum/program.rst b/doc/sphinx/addendum/program.rst
index e153c7cbe2..429dcbee69 100644
--- a/doc/sphinx/addendum/program.rst
+++ b/doc/sphinx/addendum/program.rst
@@ -181,7 +181,7 @@ Program Definition
 Program Fixpoint
 ~~~~~~~~~~~~~~~~
 
-.. cmd:: Program Fixpoint @ident @params {? {@order}} : @type := @term
+.. cmd:: Program Fixpoint @ident @binders {? {@order}} : @type := @term
 
    The optional order annotation follows the grammar:
 
-- 
cgit v1.2.3