Improve handling of "full_case" attributes
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 16:51:21 +0000 (17:51 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 16:51:21 +0000 (17:51 +0100)
commit17caaa3fa898e39d1dbcfd8b92750a9d713a24af
tree5702034ed2245a403d2921a8edb35be76ae46a02
parent04e920337b1b984929d3d69fb2ab1f8b1e92f032
Improve handling of "full_case" attributes

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