legion: another fix for the built-in legion allocator to avoid calling delete instead of free
legion: another fix for the built-in legion allocator to avoid calling delete instead of free

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion