Merge branch 'sail2' into rmem_interpreter

1 files changed, 3 insertions, 0 deletions

diff --git a/src/util.mli b/src/util.mli
index fd0242a3..51504941 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -53,6 +53,7 @@ val last : 'a list -> 'a
 
 val opt_warnings : bool ref
 val opt_colors : bool ref
+val opt_verbosity : int ref
 
 val butlast : 'a list -> 'a list
 
@@ -263,3 +264,5 @@ val file_encode_string : string -> string
 
 val log_line : string -> int -> string -> string
 val header : string -> int -> string
+
+val progress : string -> string -> int -> int -> unit