From 15bcd883c3266050ec3a3389c19712ad5df2d6c5 Mon Sep 17 00:00:00 2001
From: regisgia
Date: Tue, 31 Aug 2010 13:59:42 +0000
Subject: * By default, load proof terms.

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

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 1cb79cb7ab..cb450a5dba 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -29,7 +29,7 @@ let term_quality = ref false
 
 let xml_export = ref false
 
-let load_proofs = ref false
+let load_proofs = ref true
 
 let raw_print = ref false
 
-- 
cgit v1.2.3