diff -r 43831b683764 -r ca7bc1324540 stage4/generate_c/generate_var_list.cc --- a/stage4/generate_c/generate_var_list.cc Mon Dec 07 15:36:29 2009 +0100 +++ b/stage4/generate_c/generate_var_list.cc Tue Dec 08 16:26:06 2009 +0100 @@ -561,7 +561,7 @@ print_symbol_list(); s4o.print("__step_list["); print_step_number(); - s4o.print("].state;STEP;\n"); + s4o.print("].state;BOOL;\n"); step_number++; return NULL; } @@ -577,7 +577,7 @@ print_symbol_list(); s4o.print("__step_list["); print_step_number(); - s4o.print("].state;STEP;\n"); + s4o.print("].state;BOOL;\n"); step_number++; return NULL; } @@ -601,7 +601,7 @@ print_symbol_list(); s4o.print("__debug_transition_list["); print_transition_number(); - s4o.print("];TRANSITION;\n"); + s4o.print("];BOOL;\n"); transition_number++; return NULL; } @@ -640,7 +640,7 @@ print_symbol_list(); s4o.print("__action_list["); print_action_number(); - s4o.print("].state;ACTION;\n"); + s4o.print("].state;BOOL;\n"); action_number++; return NULL; }