Skip to content

move object_descriptor_exprt::root_object into .cpp#2833

Merged
kroening merged 1 commit intodevelopfrom
object_descriptor_exprt-root_object
Aug 24, 2018

Commits

Commits on Aug 24, 2018