From bfdf6d2db29972ff52a1870524a230fdecb636dc Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 1 Jan 2016 23:31:47 +0100
Subject: Remove unused functions.

---
 stm/texmacspp.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'stm')

diff --git a/stm/texmacspp.ml b/stm/texmacspp.ml
index 1996d35259..b18e35a472 100644
--- a/stm/texmacspp.ml
+++ b/stm/texmacspp.ml
@@ -20,9 +20,6 @@ let unlock loc =
   let start, stop = Loc.unloc loc in
   (string_of_int start, string_of_int stop)
 
-let xmlNoop = (* almost noop  *)
-  PCData ""
-
 let xmlWithLoc loc ename attr xml =
   let start, stop = unlock loc in
   Element(ename, [ "begin", start; "end", stop ] @ attr, xml)
-- 
cgit v1.2.3