From 4084ee30293a6013592c0651dfeb1975711f135f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 30 Nov 2016 22:24:17 +0100
Subject: [ide] richpp clenaup

We remove the "abstraction breaking" primitives and reduce the file to
the used fragment.
---
 ide/xmlprotocol.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'ide/xmlprotocol.mli')

diff --git a/ide/xmlprotocol.mli b/ide/xmlprotocol.mli
index f6fae24d7c..43a65dfa85 100644
--- a/ide/xmlprotocol.mli
+++ b/ide/xmlprotocol.mli
@@ -57,10 +57,6 @@ val pr_call : 'a call -> string
 val pr_value : 'a value -> string
 val pr_full_value : 'a call -> 'a value -> string
 
-(** * Serialization of rich documents *)
-val of_richpp : Richpp.richpp -> Xml_datatype.xml
-val to_richpp : Xml_datatype.xml -> Richpp.richpp
-
 (** * Serializaiton of feedback  *)
 val of_feedback : Feedback.feedback -> xml
 val to_feedback : xml -> Feedback.feedback
-- 
cgit v1.2.3