From 829a8feb3d02da057d39b5029b422e8a45dd1608 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 25 Jan 2017 14:39:29 +0100
Subject: [xml] Restore protocol compatibility with 8.6.

By default, we serialize messages to the "rich printing
representation" as it was done in 8.6, this ways clients don't have to
adapt unless they specifically request the new format using option
`--xml_format=Ppcmds`
---
 stm/stm.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stm/stm.mllib')

diff --git a/stm/stm.mllib b/stm/stm.mllib
index 4b254e811..72b538016 100644
--- a/stm/stm.mllib
+++ b/stm/stm.mllib
@@ -5,6 +5,7 @@ TQueue
 WorkerPool
 Vernac_classifier
 CoqworkmgrApi
+WorkerLoop
 AsyncTaskQueue
 Stm
 ProofBlockDelimiter
-- 
cgit v1.2.3