Changes in uspace/app/sbi/src/builtin.h [38aaacc2:c5cb943d] in mainline

File:

• uspace/app/sbi/src/builtin.h (modified) (1 diff)

uspace/app/sbi/src/builtin.h

@@ -40 +40 @@
 
 rdata_var_t *builtin_get_self_mbr_var(run_t *run, const char *mbr_name);
+void builtin_return_string(run_t *run, const char *str);
 
 stree_symbol_t *builtin_declare_fun(stree_csi_t *csi, const char *name);