Bugfix in liberty parser (as suggested by aiju in #569)
authorClifford Wolf <clifford@clifford.at>
Fri, 15 Jun 2018 16:56:44 +0000 (18:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 15 Jun 2018 16:56:44 +0000 (18:56 +0200)
commit0ff0ce4973db6f91b717b3771d8a9ca4cdb3a191
tree343e599604a811ea93cc63497c41559a98a94174
parent57fc8dd58229d309ba56b374223802936444ecd4
Bugfix in liberty parser (as suggested by aiju in #569)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/liberty/liberty.cc