removed useless imports
This commit is contained in:
@@ -1,5 +1,4 @@
|
||||
open Printf;;
|
||||
open String;;
|
||||
open Map;;
|
||||
|
||||
let rec list_of_lines in_file =
|
||||
@@ -11,7 +10,7 @@ let rec list_of_lines in_file =
|
||||
[]
|
||||
|
||||
let rec parse_int_list sep str =
|
||||
let list1 = (List.filter (fun a -> length a != 0) (String.split_on_char sep str)) in
|
||||
let list1 = (List.filter (fun a -> String.length a != 0) (String.split_on_char sep str)) in
|
||||
List.map int_of_string list1
|
||||
|
||||
(* Ordering map is a map that indexes int and maps it into a set of ints,
|
||||
@@ -22,7 +21,7 @@ module IntSet = Set.Make(Int)
|
||||
let rec parse_ordering lines ordering_map =
|
||||
match lines with
|
||||
| head :: tail ->
|
||||
if length head > 0 then
|
||||
if String.length head > 0 then
|
||||
let elems = parse_int_list '|' head in
|
||||
let e1 = List.hd elems in
|
||||
let e2 = List.nth elems 1 in
|
||||
|
Reference in New Issue
Block a user