From 1d3a24bec12a802be171135ddfb805dc4d0cdcee Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 9 Apr 2001 21:20:11 +0000
Subject: Uniformisation des 'Save def_tok id'

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1564 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/pcoq.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'parsing/pcoq.mli')

diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index 7044801fa..20bf35dea 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -178,6 +178,7 @@ module Vernac_ :
     val tacarg : Coqast.t Gram.Entry.e
     val sortarg : Coqast.t Gram.Entry.e
     val theorem_body : Coqast.t Gram.Entry.e
+    val thm_tok : Coqast.t Gram.Entry.e
 
     val gallina : Coqast.t Gram.Entry.e
     val gallina_ext : Coqast.t Gram.Entry.e
-- 
cgit v1.2.3