/*
 * cxx_invoke_destructors.h
 *
 *  Created on: 30 janv. 2013
 *      Author: fsulima
 */

#ifndef CXX_INVOKE_DESTRUCTORS_H_
#define CXX_INVOKE_DESTRUCTORS_H_

void cxx_invoke_destructors(void);

#endif /* CXX_INVOKE_DESTRUCTORS_H_ */
