# # # patch "revision_parser.mly" # from [79c1d103bdcba31b86edccca700058f9f3012767] # to [31c33ffdabe1325f6ff8025b0bcfcadc90cd14b5] # ============================================================ --- revision_parser.mly 79c1d103bdcba31b86edccca700058f9f3012767 +++ revision_parser.mly 31c33ffdabe1325f6ff8025b0bcfcadc90cd14b5 @@ -58,7 +58,8 @@ pre_rosters_edge_list: pre_rosters_edge { Q.push Q.empty $1 } - | pre_rosters_edge_list edge { Q.push $1 $2 } + | pre_rosters_edge_list + pre_rosters_edge { Q.push $1 $2 } ; pre_rosters_edge: