From 76e600be41c10ae96ec2bccb57b8b114851f1642 Mon Sep 17 00:00:00 2001
From: Mark Oteiza <mvoteiza@udel.edu>
Date: Sat, 16 Aug 2014 21:07:08 -0400
Subject: [PATCH] remove dolog definition to fix a warning

---
 parser.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/parser.ml b/parser.ml
index a23c871..68e1bd5 100644
--- a/parser.ml
+++ b/parser.ml
@@ -1,6 +1,5 @@
 (* based on Tor Andersson's XML parser from MuPDF's XPS module *)
 
-let dolog fmt = Printf.kprintf prerr_endline fmt;;
 let r_comment_terminator = Str.regexp "-->";;
 let r_CDATA_terminator = Str.regexp "\\]\\]>";;
 let r_q_terminator = Str.regexp "\\?>";;
-- 
2.11.4.GIT