/** Main function */
int main(int argc, char *argv[])
{
- MSG_global_init(&argc, argv);
+ MSG_init(&argc, argv);
if (argc < 2) {
printf("Usage: %s platform_file\n", argv[0]);
exit(1);
char *platform_file = argv[1];
MSG_create_environment(platform_file);
MSG_main();
- MSG_clean();
return 0;
}