From 5bc1cedf8dba96936755af30ca6e82fe052137c3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 4 Jun 2018 14:55:55 +0100
Subject: Use Util.split_on_char in sail_lib.ml

---
 src/sail_lib.ml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 8a3072c2..e4b5619c 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -540,16 +540,8 @@ let rec pow x = function
   | 0 -> 1
   | n -> x * pow x (n - 1)
 
-(* FIXME: Copy split_on_char from util.ml until we upgrade Jenkins to OCaml 4.05 *)
-let rec split_on_char sep str =
-  try
-    let sep_pos = String.index str sep in
-    String.sub str 0 sep_pos :: split_on_char sep (String.sub str (sep_pos + 1) (String.length str - (sep_pos + 1)))
-  with
-  | Not_found -> [str]
-
 let real_of_string str =
-  match split_on_char '.' str with
+  match Util.split_on_char '.' str with
   | [whole; frac] ->
      let whole = Rational.of_int (int_of_string whole) in
      let frac = Rational.div (Rational.of_int (int_of_string frac)) (Rational.of_int (pow 10 (String.length frac)))  in
-- 
cgit v1.2.3