Get power.sail compiling to Lem again

1 files changed, 6 insertions, 0 deletions

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)
+