From 5c7cd2b0c85470a96b1edb09956ebef8e5d45cfe Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 24 Nov 2002 23:13:25 +0000
Subject: Utilisation des niveaux de camlp4 pour gérer les niveaux de constr;
 améliorations diverses de l'affichage; affinement de la syntaxe et des
 options de Notation; branchement de Syntactic Definition sur Notation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3270 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index 6bcc2433dd..57e7189a74 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -1789,7 +1789,8 @@ let xlate_vernac =
 	| PrintLocalContext -> xlate_error "TODO: Print"
 	| PrintTables -> xlate_error "TODO: Print Tables"
         | PrintModuleType _ -> xlate_error "TODO: Print Module Type"
-        | PrintModule _ -> xlate_error "TODO: Print Module")
+        | PrintModule _ -> xlate_error "TODO: Print Module"
+        | PrintScope _ -> xlate_error "TODO: Print Scope")
   | VernacBeginSection id ->
       CT_coerce_SECTION_BEGIN_to_COMMAND (CT_section (xlate_ident id))
   | VernacEndSegment id -> CT_section_end (xlate_ident id)
-- 
cgit v1.2.3