diff -r 72ae82e65dbc -r eef5e62048c7 stage4/generate_c/generate_c_base.cc
--- 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_);