changeset 160 | 59d58f5e6caa |
parent 149 | 05ca171a3d57 |
child 177 | 697562a5da7c |
--- a/stage4/generate_c/generate_c_base.cc Mon Dec 15 17:23:48 2008 +0100 +++ b/stage4/generate_c/generate_c_base.cc Fri Dec 19 15:09:29 2008 +0100 @@ -87,6 +87,7 @@ ~generate_c_base_c(void) {} void set_variable_prefix(const char *variable_prefix) {variable_prefix_ = variable_prefix;} + const char *get_variable_prefix(void) {return variable_prefix_;} bool is_variable_prefix_null(void) {return variable_prefix_ == NULL;} void print_variable_prefix(void) { if (variable_prefix_ != NULL)