More gui => more bugsHEADmain

1 files changed, 3 insertions, 2 deletions

diff --git a/inc/gui.h b/inc/gui.h
index e8a583d..3dfcc1b 100644
--- a/inc/gui.h
+++ b/inc/gui.h
@@ -9,9 +9,10 @@ struct gui_interface {
 	err (*step_prev)(void);
 };
 
-void gui_reg_names(const char *names, int n);
+void gui_reg_names(const char *names[], int n);
 void gui_reg_update(int reg, uint64_t value);
-void gui_instr_done(char *instr);
+void gui_instr_push(char *instr);
+void gui_instr_pop(void);
 
 void gui_register_interface(struct gui_interface *gui);
 void gui_init(void);