From 08c31f46aa05098e1a97d9144599c1e5072b7fc3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 20 Mar 2016 19:52:54 +0100
Subject: Pushing Proofview further down the dependency alley.

---
 dev/printers.mllib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index c46f6b72a4..db86bb5edd 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -141,6 +141,9 @@ Find_subterm
 Tacred
 Classops
 Typeclasses_errors
+Logic_monad
+Proofview_monad
+Proofview
 Typeclasses
 Detyping
 Indrec
@@ -181,9 +184,6 @@ Refiner
 Clenv
 Evar_refiner
 Proof_errors
-Logic_monad
-Proofview_monad
-Proofview
 Refine
 Proof
 Proof_global
-- 
cgit v1.2.3