From 5db7bbe35613004fc2cdac3096b3a1b26aa276bc Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 9 Nov 2003 15:08:07 +0000
Subject: Mise en place traduction des tactiques apres evaluation pour
 permettre des changements semantiques

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4839 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 translate/ppvernacnew.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'translate')

diff --git a/translate/ppvernacnew.mli b/translate/ppvernacnew.mli
index a444bb5371..94588f1dfa 100644
--- a/translate/ppvernacnew.mli
+++ b/translate/ppvernacnew.mli
@@ -29,3 +29,6 @@ open Topconstr
 val sep_end : unit -> std_ppcmds
 
 val pr_vernac : vernac_expr -> std_ppcmds
+
+val pr_vernac_solve : 
+  int * Environ.env * Tacexpr.glob_tactic_expr * bool -> std_ppcmds
-- 
cgit v1.2.3