From 2f61ea2926a72ba3d7b5cb8a1746e34df99838cc Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Dec 2014 10:06:54 +0100
Subject: Remove dead code

---
 ide/ideutils.ml  | 3 ---
 ide/ideutils.mli | 2 --
 2 files changed, 5 deletions(-)

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 006b41cc40..a38c672e2e 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -61,9 +61,6 @@ let byte_offset_to_char_offset s byte_offset =
 
 let glib_utf8_pos_to_offset s ~off = byte_offset_to_char_offset s off
 
-let print_id id =
-  Minilib.log ("GOT sig id :"^(string_of_int (Obj.magic id)))
-
 let do_convert s =
   let from_loc () =
     let _,char_set = Glib.Convert.get_charset () in
diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 657e92869a..77bc4a44a3 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -29,8 +29,6 @@ val find_tag_limits : GText.tag -> GText.iter -> GText.iter * GText.iter
 val find_tag_start : GText.tag -> GText.iter -> GText.iter
 val find_tag_stop : GText.tag -> GText.iter -> GText.iter
 
-val print_id : 'a -> unit
-
 val select_file_for_open : title:string -> unit -> string option
 val select_file_for_save :
   title:string -> ?filename:string -> unit -> string option
-- 
cgit v1.2.3