From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 12 Oct 2015 11:48:36 +0200
Subject: Removal of cchecklink, superseded by AbsInt's Valex tool.

---
 checklink/Disassembler.ml | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 checklink/Disassembler.ml

(limited to 'checklink/Disassembler.ml')

diff --git a/checklink/Disassembler.ml b/checklink/Disassembler.ml
deleted file mode 100644
index 0e2c6883..00000000
--- a/checklink/Disassembler.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-open ELF_parsers
-open ELF_types
-open PPC_printers
-open PPC_utils
-
-let disassemble elf sym_name =
-  let sym =
-    List.find
-      (fun sym -> sym.st_name = sym_name)
-      (Array.to_list elf.e_symtab)
-  in
-  match code_of_sym elf sym with
-  | None -> "Couldn't find the code for that symbol name"
-  | Some(ecode) ->
-      string_of_instr_list ecode
-- 
cgit