Skip to content

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

Merged
kroening merged 1 commit into
developfrom
use-get_identifier
Jun 1, 2018
Merged

Use get_identifier() instead of get(ID_identifier) on symbols#2206
kroening merged 1 commit into
developfrom
use-get_identifier

use get_identifier() instead of get(ID_identifier) on symbols

25c097e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs