rewrite_union no longer needs namespace#2915

Merged

kroening merged 2 commits intodevelopfrom

rewrite_union_ns

Sep 8, 2018

Commits on Sep 7, 2018

union tags in anonymous members with union type
Daniel Kroening
committed
rewrite_union no longer needs a namespace
Daniel Kroening
committed