From 129a58c5dd2403263b8285f345b3a5e41d480b78 Mon Sep 17 00:00:00 2001
From: regisgia
Date: Fri, 27 Aug 2010 09:17:19 +0000
Subject: * lib/Flags: Replace dont_load_proofs by load_proofs since not
 loading              proofs is now the default behavior of coqtop.

* lib/Coqtop: Update accordingly.

* checker/Check library/Library:
  Pass the right "load_proofs" flag to LightenLibrary.load.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13379 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/flags.ml  | 2 +-
 lib/flags.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 1b92aaf339..1cb79cb7ab 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -29,7 +29,7 @@ let term_quality = ref false
 
 let xml_export = ref false
 
-let dont_load_proofs = ref false
+let load_proofs = ref false
 
 let raw_print = ref false
 
diff --git a/lib/flags.mli b/lib/flags.mli
index 1d18b4c516..7c46686778 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -21,7 +21,7 @@ val term_quality : bool ref
 
 val xml_export : bool ref
 
-val dont_load_proofs : bool ref
+val load_proofs : bool ref
 
 val raw_print : bool ref
 
-- 
cgit v1.2.3