From b0a0a13254dcb742b8f1f519b1445c73040f5996 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 16 Oct 2003 19:46:45 +0000
Subject: print_projections a true juste pour le bench nocturne

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

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index 1be3b805a5..afd94b1f63 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -58,7 +58,7 @@ let print_universes = ref false
 let print_no_symbol = ref false
 
 (* This governs printing of projections using the dot notation symbols *)
-let print_projections = ref false
+let print_projections = ref true
 
 let print_meta_as_hole = ref false
 
-- 
cgit v1.2.3