From 026edb0b10eaf96f7f9f4e806bd3a0fa19b29407 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 29 Mar 2017 14:27:39 +0200
Subject: [ide] Fix typo in pp serialization.

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

diff --git a/ide/xmlprotocol.ml b/ide/xmlprotocol.ml
index 5f80d68974..d7950e5fd5 100644
--- a/ide/xmlprotocol.ml
+++ b/ide/xmlprotocol.ml
@@ -111,7 +111,7 @@ let to_box = let open Pp in
     )
 
 let rec of_pp (pp : Pp.std_ppcmds) = let open Pp in match Pp.repr pp with
-    | Ppcmd_empty         -> constructor "ppdoc" "emtpy"  []
+    | Ppcmd_empty         -> constructor "ppdoc" "empty"  []
     | Ppcmd_string s      -> constructor "ppdoc" "string" [of_string s]
     | Ppcmd_glue sl       -> constructor "ppdoc" "glue"   [of_list of_pp sl]
     | Ppcmd_box (bt,s)    -> constructor "ppdoc" "box"    [of_pair of_box of_pp (bt,s)]
-- 
cgit v1.2.3