From a59b644de4234fb7fe3fce28284979091f257130 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Thu, 6 Dec 2007 17:36:14 +0000
Subject: Plus de combinateurs sont passés de Util à Option. Le module Options
 devient Flags.

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

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index cd0fa0c0d6..27577c79cf 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -48,7 +48,7 @@ let ppqualid qid = pp(pr_qualid qid)
 
 (* term printers *)
 let ppconstr x = pp (Termops.print_constr x)
-let ppconstrdb x = pp(Options.with_option Constrextern.rawdebug Termops.print_constr x)
+let ppconstrdb x = pp(Flags.with_option Constrextern.rawdebug Termops.print_constr x)
 let ppterm = ppconstr
 let ppsconstr x = ppconstr (Declarations.force x)
 let ppconstr_univ x = Constrextern.with_universes ppconstr x
-- 
cgit v1.2.3