Merge branch 'sail2' into separate_bv

1 files changed, 3 insertions, 6 deletions

diff --git a/src/util.mli b/src/util.mli
index ddc5347f..9c57e360 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -50,13 +50,12 @@
 
 (** Various non Sail specific utility functions *)
 
-(* Last element of a list *)
-val last : 'a list -> 'a
-
-val opt_warnings : bool ref
 val opt_colors : bool ref
 val opt_verbosity : int ref
 
+(* Last element of a list *)
+val last : 'a list -> 'a
+
 val butlast : 'a list -> 'a list
 
 (** Mixed useful things *)
@@ -270,5 +269,3 @@ val log_line : string -> int -> string -> string
 val header : string -> int -> string
 
 val progress : string -> string -> int -> int -> unit
-
-val warn : string -> unit