From e81cf0fed810f8d4498359502d3623661c62050e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 26 Sep 2003 11:41:46 +0000
Subject: Ajout now_show

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

diff --git a/translate/pptacticnew.ml b/translate/pptacticnew.ml
index 574b665019..335160f6b4 100644
--- a/translate/pptacticnew.ml
+++ b/translate/pptacticnew.ml
@@ -112,6 +112,7 @@ let translate_v7_ltac = function
   | "SimplMonom" -> "simpl_monom"
   | "SimplAllMonoms" -> "simpl_all_monomials"
   | "AssocDistrib" -> "assoc_distrib"
+  | "NowShow" -> "now_show"
   | x -> x
 
 let id_of_ltac_v7_id id = 
-- 
cgit v1.2.3