From cde7dac0c5eb3d11b57054c4f7a6a9615dd96104 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 29 Nov 2000 17:15:49 +0000
Subject: Prise en compte REQUIRE dans print_leaf

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

diff --git a/parsing/pretty.ml b/parsing/pretty.ml
index 1fa038777a..c22e869430 100644
--- a/parsing/pretty.ml
+++ b/parsing/pretty.ml
@@ -239,6 +239,8 @@ let print_leaf_entry with_values sep (sp,lobj) =
 	[< 'sTR" Class Marker"; 'fNL >]
     | (_,"COERCION") -> 
 	[< 'sTR" Coercion Marker"; 'fNL >]
+    | (_,"REQUIRE") -> 
+	[< 'sTR" Require Marker"; 'fNL >]
     | (_,s) -> 
 	[< 'sTR(string_of_path sp); 'sTR" : ";
            'sTR"Unrecognized object "; 'sTR s; 'fNL >]
-- 
cgit v1.2.3