Merge branch 'sail2' into rmem_interpreter

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 598ac67d..4ccd8b93 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -327,6 +327,7 @@ void random_real(real *rop, unit);
 
 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 ***** */