From 9dcb23c2d7741b0fd9dbd8a568332dfc6362b5f1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 13 Nov 2014 21:27:26 +0100
Subject: Adding a pretty-printing style library.

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

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 336a680bd3..2e61cb6973 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -1,5 +1,6 @@
 Coq_config
 
+Terminal
 Hook
 Canary
 Hashset
@@ -153,6 +154,7 @@ Tok
 Lexer
 Ppextend
 Pputils
+Ppstyle
 Ppannotation
 Stdarg
 Constrarg
-- 
cgit v1.2.3