From 2b6dd2ff132a74ba247609191c344dda991e3b84 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sun, 3 Jul 2016 19:53:33 +0200
Subject: Remove lexing of ordinal notations.

This was implemented in anticipation of a part of PR#164 that we decided not to
merge.
---
 parsing/pcoq.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'parsing/pcoq.ml')

diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml
index ab55b3d78..0e74e6f0c 100644
--- a/parsing/pcoq.ml
+++ b/parsing/pcoq.ml
@@ -264,7 +264,6 @@ module Prim =
     let preident = gec_gen "preident"
     let ident = gec_gen "ident"
     let natural = gec_gen "natural"
-    let index = gec_gen "index"
     let integer = gec_gen "integer"
     let bigint = Gram.entry_create "Prim.bigint"
     let string = gec_gen "string"
-- 
cgit v1.2.3