tree 185ed269ec3513a23235e80e651e717177964fea
parent c018882f51372fde91672a506298a7003471d82a
author Zuyu Zhang <zuyu@cs.wisc.edu> 1503770472 -0500
committer Zuyu Zhang <zuyu@cs.wisc.edu> 1503771205 -0500

Minor changes in QueryManager and QueryExecutionState.