From f558a0552b49b533c1c79ee3eb6d49015eeb6084 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 4 Nov 2016 16:10:31 +0100
Subject: Do not print dependent evars by default (expensive)

The option can be turned on by the user though.
---
 printing/printer.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/printing/printer.ml b/printing/printer.ml
index 608bca62ac..04337f6be8 100644
--- a/printing/printer.ml
+++ b/printing/printer.ml
@@ -529,7 +529,7 @@ let print_evar_constraints gl sigma =
         str" with candidates:" ++ fnl () ++ hov 0 ppcandidates
     else mt ()
 
-let should_print_dependent_evars = ref true
+let should_print_dependent_evars = ref false
 
 let _ =
   let open Goptions in
-- 
cgit v1.2.3