[FS1718][VirtualRefinement] Fix (benign) memory leak reported by valgrind.
Closes: flyspray/FS#1718 (closed).
Checked that valgrind now really shuts up using test-refinement
. It does.
Closes: flyspray/FS#1718 (closed).
Checked that valgrind now really shuts up using test-refinement
. It does.