Merge branch 'sail2' into smt_experiments

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index dd3431f3..05c65027 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -381,6 +381,7 @@ void string_length(sail_int *len, sail_string s);
 void string_drop(sail_string *dst, sail_string s, sail_int len);
 void string_take(sail_string *dst, sail_string s, sail_int len);
 
+
 /* ***** Printing ***** */
 
 void string_of_int(sail_string *str, const sail_int i);