Use get_identifier() instead of get(ID_identifier) on symbols#2206

Merged

kroening merged 1 commit intodevelopfrom

use-get_identifier

Jun 1, 2018

Commits on Jun 1, 2018

use get_identifier() instead of get(ID_identifier) on symbols
Daniel Kroening
committed