Skip to content

remove exprt::negate, sum, mul, subtract (deprecated since 2011)#1891

Merged
tautschnig merged 2 commits intodevelopfrom
deprecated-exprt-methods
Mar 4, 2018

Commits

Commits on Mar 4, 2018