remove old elf sources

1 files changed, 0 insertions, 18 deletions

diff --git a/src/elf_model/bitstring.ml b/src/elf_model/bitstring.ml
deleted file mode 100644
index 82eeec18..00000000
--- a/src/elf_model/bitstring.ml
+++ /dev/null
@@ -1,18 +0,0 @@
-(*Generated by Lem from bitstring.lem.*)
-open Lem_basic_classes
-open Lem_bool
-open Lem_num
-
-(*type bitstring*)
-
-(*val length    : bitstring -> nat*)
-
-(*val partition : nat -> bitstring -> (bitstring * bitstring)*)
-
-(*val equal     : bitstring -> bitstring -> bool*)
-
-let instance_Basic_classes_Eq_Bitstring_bitstring_dict =({
-
-  isEqual_method = (=);
-
-  isInequal_method = (fun l r->not (l = r))})