def __del__(self):
if (self.__ccore_legion_pointer is not None):<EOL><INDENT>wrapper.legion_destroy(self.__ccore_legion_pointer);<EOL>self.__ccore_legion_pointer = None;<EOL><DEDENT>
!
        @brief Default destructor of LEGION.