equal
deleted
inserted
replaced
115 s4o.print("]."); |
115 s4o.print("]."); |
116 s4o.print(argument); |
116 s4o.print(argument); |
117 } |
117 } |
118 |
118 |
119 void print_transition_number(void) { |
119 void print_transition_number(void) { |
120 s4o.print_integer(transition_number); |
120 s4o.print(transition_number); |
121 } |
121 } |
122 |
122 |
123 void print_reset_step(symbol_c *step_name) { |
123 void print_reset_step(symbol_c *step_name) { |
124 s4o.print(s4o.indent_spaces); |
124 s4o.print(s4o.indent_spaces); |
125 s4o.print(SET_VAR); |
125 s4o.print(SET_VAR); |