From 44d2955e49110a401d88c0449583b8c833887d9d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 22 Mar 2020 12:27:29 +0100
Subject: Removing deprecated destruct syntax _eqn.

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

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/language/gallina-specification-language.rst b/doc/sphinx/language/gallina-specification-language.rst
index 12a9a30f3d..3b64465120 100644
--- a/doc/sphinx/language/gallina-specification-language.rst
+++ b/doc/sphinx/language/gallina-specification-language.rst
@@ -117,7 +117,7 @@ Other tokens
 
     ! #[ % & ' ( () (bfs) (dfs) ) * ** + , - ->
     . .( .. ... / : ::= := :> :>> ; < <+ <- <:
-    <<: <= = => > >-> >= ? @ @{ [ [= ] _ _eqn
+    <<: <= = => > >-> >= ? @ @{ [ [= ] _
     `( `{ { {| | |- || }
 
   When multiple tokens match the beginning of a sequence of characters,
-- 
cgit v1.2.3