boolbvt::print_assignment should call the print_assignment of the base class#1591

Merged

kroening merged 1 commit intodevelopfrom

print_assignment

Nov 19, 2017

Commits on Nov 14, 2017

boolbvt::print_assignment should call the print_assignment of the base class
Daniel Kroening
committed