1 files changed, 0 insertions, 55 deletions
diff --git a/debug/DwarfDiab.ml b/debug/DwarfDiab.ml
deleted file mode 100644
index a852053f..00000000
--- a/debug/DwarfDiab.ml
+++ /dev/null
@@ -1,55 +0,0 @@
-(* *********************************************************************)
-(*                                                                     *)
-(*              The Compcert verified compiler                         *)
-(*                                                                     *)
-(*          Bernhard Schommer, AbsInt Angewandte Informatik GmbH       *)
-(*                                                                     *)
-(*  AbsInt Angewandte Informatik GmbH. All rights reserved. This file  *)
-(*  is distributed under the terms of the INRIA Non-Commercial         *)
-(*  License Agreement.                                                 *)
-(*                                                                     *)
-(* *********************************************************************)
-
-open Printf
-open DwarfPrinter
-open DwarfTypes
-open DwarfUtil
-
-module AbbrvPrinter = DwarfPrinter(struct
-  let string_of_byte value =
-    Printf.sprintf "	.byte	%s\n" (if value then "0x1" else "0x2")
-      
-  let string_of_abbrv_entry v =
-    Printf.sprintf "	.uleb128	%d\n" v
-
-  let sibling_type_abbr = dw_form_ref4
-  let decl_file_type_abbr = dw_form_data4
-  let decl_line_type_abbr = dw_form_udata
-  let type_abbr = dw_form_ref_addr
-  let name_type_abbr = dw_form_string
-  let encoding_type_abbr = dw_form_data1
-  let byte_size_type_abbr = dw_form_data1
-  let high_pc_type_abbr = dw_form_addr
-  let low_pc_type_abbr = dw_form_addr
-  let stmt_list_type_abbr = dw_form_data4
-  let declaration_type_abbr = dw_form_flag
-  let external_type_abbr = dw_form_flag
-  let prototyped_type_abbr = dw_form_flag
-  let bit_offset_type_abbr = dw_form_data1
-  let comp_dir_type_abbr = dw_form_string
-  let language_type_abbr = dw_form_udata
-  let producer_type_abbr = dw_form_string
-  let value_type_abbr = dw_form_sdata
-  let artificial_type_abbr = dw_form_flag
-  let variable_parameter_type_abbr = dw_form_flag
-  let bit_size_type_abbr = dw_form_data1
-  let location_const_type_abbr = dw_form_data4
-  let location_block_type_abbr = dw_form_block
-  let data_location_block_type_abbr = dw_form_block
-  let data_location_ref_type_abbr = dw_form_ref4
-  let bound_const_type_abbr = dw_form_udata
-  let bound_ref_type_abbr=dw_form_ref4
-      
-
-      
-end)