From 0f532fe6403342f2f7b0a2da07bbf4112f7f85b4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 9 Dec 2002 08:40:25 +0000
Subject: Problèmes et améliorations divers affichage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3394 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/ppextend.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/ppextend.mli')

diff --git a/interp/ppextend.mli b/interp/ppextend.mli
index 625c85e680..4d83eda3d2 100644
--- a/interp/ppextend.mli
+++ b/interp/ppextend.mli
@@ -41,7 +41,7 @@ val ppcmd_of_box : ppbox -> std_ppcmds -> std_ppcmds
 val ppcmd_of_cut : ppcut -> std_ppcmds
 
 type unparsing = 
-  | UnpMetaVar of int * tolerability
+  | UnpMetaVar of tolerability
   | UnpTerminal of string
   | UnpBox of ppbox * unparsing list
   | UnpCut of ppcut
-- 
cgit v1.2.3