} catch(xbt_ex& e) {
gotit = true;
}
- if (!gotit)
+ if (not gotit)
xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
}
} catch(xbt_ex& e) {
gotit = true;
}
- if (!gotit)
+ if (not gotit)
xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
}