tree 11541d364ee567b3868aac0eacf7efd3467b6817
parent 83197109fb81ff3d6c3f3fad4ceb8146fed89748
author Murtadha Hubail <mhubail@uci.edu> 1460702055 -0700
committer Murtadha Hubail <hubailmor@gmail.com> 1463514839 -0700

Remove Unnecessary Flush on Index Drop

Change-Id: I2e41b5d0aee13cb3b2d3a23f064c35d28837da10
Reviewed-on: https://asterix-gerrit.ics.uci.edu/804
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: abdullah alamoudi <bamousaa@gmail.com>
Reviewed-by: Young-Seok Kim <kisskys@gmail.com>