Skip to content

Fix return of temporary ref in ssa_exprt#881

Merged
kroening merged 1 commit intodiffblue:masterfrom
reuk:ref-to-tmp-fix
May 3, 2017

Commits

Commits on Apr 28, 2017