modified API for SourceManager::remove
modified API for SourceManager::remove

ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,squaresLab/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c