From 01b7207d06f723598b6c6ea125d0c1313026004e Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sun, 29 Jan 2012 20:51:13 +0400
Subject: [PATCH] Remove unused function

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

diff --git a/main.ml b/main.ml
index 3017822..818a129 100644
--- a/main.ml
+++ b/main.ml
@@ -6,7 +6,6 @@ type under =
 and facename = string;;
 
 let dolog fmt = Printf.kprintf prerr_endline fmt;;
-let dolog2 fmt = Printf.kprintf print_endline fmt;;
 let now = Unix.gettimeofday;;
 
 exception Quit;;
-- 
2.11.4.GIT