Make good progress on implementing utilities to test symbolic execution

1 files changed, 0 insertions, 16 deletions

diff --git a/src/Utilities.ml b/src/Utilities.ml
deleted file mode 100644
index 6452d56f..00000000
--- a/src/Utilities.ml
+++ /dev/null
@@ -1,16 +0,0 @@
-(* Split a list at a given index [i] (the first list contains all the elements
-   up to element of index [i], not included, the second one contains the remaining
-   elements. Note that the first returned list has length [i].
- *)
-let rec list_split_at (ls : 'a list) (i : int) =
-  if i < 0 then raise (Invalid_argument "list_split_at take positive integers")
-  else if i = 0 then ([], ls)
-  else
-    match ls with
-    | [] ->
-        raise
-          (Failure
-             "The int given to list_split_at should be <= the list's length")
-    | x :: ls' ->
-        let ls1, ls2 = list_split_at ls' (i - 1) in
-        (x :: ls1, ls2)