Minor code cleanups in liberty front-end
authorClifford Wolf <clifford@clifford.at>
Wed, 17 Oct 2018 10:23:36 +0000 (12:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 17 Oct 2018 10:23:36 +0000 (12:23 +0200)
commit6ca493b88ca101f357e9de4dfdad4f3c913512c8
tree03d249fb564589e4bbe7549ac9e56058fbb9576b
parent8395c18cb54c64712bb36f8d968a26d13330bdd4
Minor code cleanups in liberty front-end

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