remove old elf sources

1 files changed, 0 insertions, 35 deletions

diff --git a/src/elf_model/endianness.lem b/src/elf_model/endianness.lem
deleted file mode 100644
index 9adba6cd..00000000
--- a/src/elf_model/endianness.lem
+++ /dev/null
@@ -1,35 +0,0 @@
-(** [endian.lem] defines a type for describing the endianness of an ELF file,
-  * and functions and other operations over that type.
-  *)
-
-open import String
-
-open import Show
-
-(** Type [endianness] describes the endianness of an ELF file.  This is deduced from
-  * the first few bytes (magic number, etc.) of the ELF header.
-  *)
-type endianness
-  = Big    (* Big endian *)
-  | Little (* Little endian *)
-
-(** [default_endianness] is a default endianness to use when reading in the ELF header
-  * before we have deduced from its entries what the rest of the file is encoded
-  * with.
-  *)
-val default_endianness : endianness
-let default_endianness = Little
-
-(** [string_of_endianness e] produces a string representation of the [endianness] value
-  * [e].
-  *)
-val string_of_endianness : endianness -> string
-let string_of_endianness e =
-  match e with
-    | Big    -> "Big"
-    | Little -> "Little"
-  end
-
-instance (Show endianness)
-  let show = string_of_endianness
-end
\ No newline at end of file