Fixed Puppet files!
Fixed Puppet files!

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