From e020cc70578b65609ac7337537f16a1c25254e77 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Tue, 31 May 2016 12:16:40 +0200
Subject: Move serialization functions out of Stm

Serialization should be specific to each particular backend, so we let
the Stm clients choose how the send the nodes.

This should be quite safe to pull in. Test suite passes.

Related to #180
---
 stm/stm.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'stm/stm.mllib')

diff --git a/stm/stm.mllib b/stm/stm.mllib
index 92b3a869a..bd792b01f 100644
--- a/stm/stm.mllib
+++ b/stm/stm.mllib
@@ -7,6 +7,5 @@ Vernac_classifier
 Lemmas
 CoqworkmgrApi
 AsyncTaskQueue
-Texmacspp
 Stm
 Vio_checking
-- 
cgit v1.2.3