From cb1ae314411d78952062e5092804b85d981ad6e1 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 12 Mar 2003 17:49:21 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3761 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_proofs.ml4 | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'parsing/g_proofs.ml4')

diff --git a/parsing/g_proofs.ml4 b/parsing/g_proofs.ml4
index 879ce98ae..f6801bf31 100644
--- a/parsing/g_proofs.ml4
+++ b/parsing/g_proofs.ml4
@@ -18,6 +18,8 @@ open Vernacexpr
 open Prim
 open Constr
 
+let thm_token = Gram.Entry.create "vernac:thm_token"
+
 (* Proof commands *)
 GEXTEND Gram
   GLOBAL: command;
-- 
cgit v1.2.3