From 5285a569618e701740003ee51bbda2229bb45ed3 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 14 Apr 2015 14:15:55 +0100
Subject: Get power.sail compiling to Lem again

---
 src/util.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/util.ml')

diff --git a/src/util.ml b/src/util.ml
index 28b56f22..a8d57b34 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -257,3 +257,9 @@ let same_content_files file1 file2 : bool =
     with Stream.Failure -> stream_is_empty s1 && stream_is_empty s2
   end
 
+(*String formatting *)
+let rec string_of_list sep string_of = function
+  | [] -> ""
+  | [x] -> string_of x
+  | x::ls -> (string_of x) ^ sep ^ (string_of_list sep string_of ls)
+
-- 
cgit v1.2.3