From 518ff68fd367cd3e68d60692aa23ae47087d6342 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 12 Dec 2006 10:44:56 +0000
Subject: Variable print_instances pour déboguer les instances d'evar

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

(limited to 'interp/constrextern.mli')

diff --git a/interp/constrextern.mli b/interp/constrextern.mli
index 0ffb8c333a..f4843756ef 100644
--- a/interp/constrextern.mli
+++ b/interp/constrextern.mli
@@ -51,6 +51,7 @@ val print_coercions : bool ref
 val print_universes : bool ref
 val print_no_symbol : bool ref
 val print_projections : bool ref
+val print_instances : bool ref
 
 (* This governs printing of implicit arguments. If [with_implicits] is
    on and not [with_arguments] then implicit args are printed prefixed
-- 
cgit v1.2.3