67 |
switch (resolution) |
switch (resolution) |
68 |
{ |
{ |
69 |
case shift_resolution: |
case shift_resolution: |
70 |
case left_resolution: |
case right_resolution: |
71 |
obstack_fgrow2 (&solved_conflicts_obstack, |
obstack_fgrow2 (&solved_conflicts_obstack, |
72 |
_("\ |
_("\ |
73 |
Conflict between rule %d and token %s resolved as shift"), |
Conflict between rule %d and token %s resolved as shift"), |
75 |
symbols[token]->tag); |
symbols[token]->tag); |
76 |
break; |
break; |
77 |
case reduce_resolution: |
case reduce_resolution: |
78 |
case right_resolution: |
case left_resolution: |
79 |
obstack_fgrow2 (&solved_conflicts_obstack, |
obstack_fgrow2 (&solved_conflicts_obstack, |
80 |
_("\ |
_("\ |
81 |
Conflict between rule %d and token %s resolved as reduce"), |
Conflict between rule %d and token %s resolved as reduce"), |