From cfb4d4e05fe41dda9507372f31b8ced11d3f2fe4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 23 May 2000 19:34:48 +0000
Subject: Réparation bug d'affichage et affichage des instanciations par des
 {...}

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

(limited to 'parsing/termast.mli')

diff --git a/parsing/termast.mli b/parsing/termast.mli
index 064dc8c25b..e0b8069d93 100644
--- a/parsing/termast.mli
+++ b/parsing/termast.mli
@@ -34,6 +34,7 @@ val ast_of_inductive    : inductive -> Coqast.t
 val print_implicits : bool ref
 val print_casts : bool ref
 val print_arguments : bool ref
+val print_evar_arguments : bool ref
 val print_coercions : bool ref
 
 val with_casts : ('a -> 'b) -> 'a -> 'b
-- 
cgit v1.2.3