From 6ae459fe810a1907a0afcfe9ecf5c062cae60f17 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 6 Nov 2014 09:35:14 +0100
Subject: Fixing compilation (name of module Richprinter) I partially feel
 responsible about.

---
 ide/ide_slave.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index a4e84903e2..1000101a42 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -124,7 +124,7 @@ let annotate phrase =
     Vernac.parse_sentence (pa,None)
   in
   let (_, _, xml) =
-    RichPrinter.richpp_vernac ast
+    Richprinter.richpp_vernac ast
   in
   xml
 
-- 
cgit v1.2.3