tree 1d5220ffbc420515793d63d1e0b3f6ecd0bccca9
parent ffb8e055a890a9002235a8516e5f2dece2d6228a
author Zuyu Zhang <zuyu@cs.wisc.edu> 1507241885 -0500
committer Zuyu Zhang <zuyu@cs.wisc.edu> 1507662869 -0500

Removed unused argument always_mark_full.