Skip to content

Revert "direct support for ID_c_bool in exprt"#516

Merged
kroening merged 1 commit intomasterfrom
revert-438-support_ID_c_bool_in_exprt
Feb 8, 2017

Commits

Commits on Feb 8, 2017