Interpreter, RISC-V: move memory actions to parts of the interpreter response and refactor RISC-V model accordingly

1 files changed, 2 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 4ccd8b93..a1c5b270 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -329,6 +329,8 @@ 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);
 
+void opt_spc_matches_prefix(zoption *dst, sail_string s);
+
 /* ***** Printing ***** */
 
 void string_of_int(sail_string *str, const sail_int i);