changeset 146 | eef5e62048c7 |
parent 139 | 668a54686827 |
child 149 | 05ca171a3d57 |
--- a/stage4/generate_c/generate_c_base.cc Thu Sep 25 10:26:10 2008 +0200 +++ b/stage4/generate_c/generate_c_base.cc Fri Sep 26 14:42:05 2008 +0200 @@ -78,6 +78,7 @@ ~generate_c_base_c(void) {} void set_variable_prefix(const char *variable_prefix) {variable_prefix_ = variable_prefix;} + bool is_variable_prefix_null(void) {return variable_prefix_ == NULL;} void print_variable_prefix(void) { if (variable_prefix_ != NULL) s4o.print(variable_prefix_);