From d2510f9a76cef997e22e1968031c5317be2b7c8f Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 15 May 2001 07:47:00 +0000
Subject: Modification pour passage p-automates

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

(limited to 'dev')

diff --git a/dev/base_include b/dev/base_include
index 67a0d48f1b..2515cabd39 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -36,6 +36,7 @@ Topdirs.dir_directory Coq_config.camlp4lib;;
 
 let parse_com   = Pcoq.parse_string Pcoq.Constr.constr;;
 let parse_tac = Pcoq.parse_string Pcoq.Tactic.tactic;;
+let parse_vernac = Pcoq.parse_string Pcoq.Vernac_.vernac;;
 
 (* For compatibility reasons *)
 let parse_ast = parse_com;;
-- 
cgit v1.2.3