From f4584f8a332c9077844e227c8b86d3cb1daf8b12 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 14 Sep 2015 16:40:28 +0200
Subject: Adding rich printing primitives.

---
 ide/interface.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/interface.mli')

diff --git a/ide/interface.mli b/ide/interface.mli
index 464e851f6d..9d19f1c3c5 100644
--- a/ide/interface.mli
+++ b/ide/interface.mli
@@ -12,6 +12,7 @@
 
 type raw = bool
 type verbose = bool
+type richpp = Richpp.richpp
 
 (** The type of coqtop goals *)
 type goal = {
-- 
cgit v1.2.3