From d98fdf1ef5789f6d5420e52c34a33debf08584e9 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Thu, 27 Feb 2014 14:07:43 +0100
Subject: Code refactoring thanks to the new Monad module.

---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 7464604218..0138f70344 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -42,6 +42,7 @@ Stateid
 Ephemeron
 Future
 RemoteCounter
+Monad
 
 Names
 Univ
@@ -154,7 +155,6 @@ Smartlocate
 Constrintern
 Modintern
 Constrextern
-Monad
 Proof_type
 Goal
 Logic
-- 
cgit v1.2.3