remove two fields from goto-binary function format#3113

Merged

tautschnig merged 1 commit intodevelopfrom

Feb 4, 2019

Commits on Feb 4, 2019

remove two fields from goto-binary function format

Daniel Kroening
authored and
tautschnig
committed