1 files changed, 0 insertions, 49 deletions
diff --git a/debug/Debug.ml b/debug/Debug.ml
index 7155ae0f..a496b610 100644
--- a/debug/Debug.ml
+++ b/debug/Debug.ml
@@ -72,55 +72,6 @@ let implem =
    add_label = (fun _ _ _ -> ());
 }
 
-let init () =
-  if !Clflags.option_g then begin
-    implem.init <- DebugInformation.init;
-    implem.atom_function <- DebugInformation.atom_function;
-    implem.atom_global_variable <- DebugInformation.atom_global_variable;
-    implem.set_composite_size <- DebugInformation.set_composite_size;
-    implem.set_member_offset <- DebugInformation.set_member_offset;
-    implem.set_bitfield_offset <- DebugInformation.set_bitfield_offset;
-    implem.insert_global_declaration <- DebugInformation.insert_global_declaration;
-    implem.add_fun_addr <- DebugInformation.add_fun_addr;
-    implem.generate_debug_info <- (fun () -> Some (Dwarfgen.gen_debug_info ()));
-    implem.all_files_iter <- (fun f -> DebugInformation.StringSet.iter f !DebugInformation.all_files);
-    implem.insert_local_declaration <- DebugInformation.insert_local_declaration;
-    implem.atom_local_variable <- DebugInformation.atom_local_variable;
-    implem.enter_scope <- DebugInformation.enter_scope;
-    implem.enter_function_scope <- DebugInformation.enter_function_scope;
-    implem.add_lvar_scope <- DebugInformation.add_lvar_scope;
-    implem.open_scope <- DebugInformation.open_scope;
-    implem.close_scope <- DebugInformation.close_scope;
-    implem.start_live_range <- DebugInformation.start_live_range;
-    implem.end_live_range <- DebugInformation.end_live_range;
-    implem.stack_variable <- DebugInformation.stack_variable;
-    implem.function_end <- DebugInformation.function_end;
-    implem.add_label <- DebugInformation.add_label;
-  end else begin
-    implem.init <- (fun _ -> ());
-    implem.atom_function <- (fun _ _ -> ());
-    implem.atom_global_variable <- (fun _ _ -> ());
-    implem.set_composite_size <- (fun _ _ _ -> ());
-    implem.set_member_offset <- (fun _ _ _ -> ());
-    implem.set_bitfield_offset <- (fun _ _ _ _ _ -> ());
-    implem.insert_global_declaration <- (fun _ _ -> ());
-    implem.add_fun_addr <- (fun _ _ -> ());
-    implem.generate_debug_info <- (fun _ -> None);
-    implem.all_files_iter <- (fun _ -> ());
-    implem.insert_local_declaration <- (fun  _ _ _ _ -> ());
-    implem.atom_local_variable <- (fun _ _ -> ());
-    implem.enter_scope <- (fun _ _  _ -> ());
-    implem.enter_function_scope <- (fun _ _ -> ());
-    implem.add_lvar_scope <- (fun _ _ _ -> ());
-    implem.open_scope <- (fun _ _ _ -> ());
-    implem.close_scope <- (fun _ _ _ -> ());
-    implem.start_live_range <- (fun _ _ _ -> ());
-    implem.end_live_range <- (fun _ _ -> ());
-    implem.stack_variable <- (fun _ _ -> ());
-    implem.function_end <- (fun _ _ -> ());
-    implem.add_label <- (fun _ _ _ -> ());
-  end
-
 let init_compile_unit name = implem.init name
 let atom_function id atom = implem.atom_function id atom
 let atom_global_variable id atom = implem.atom_global_variable id atom