Merge branch 'dev' into dev-win

This commit is contained in:
daan 2019-08-20 07:50:03 -07:00
commit a5071eb510
3 changed files with 16 additions and 5 deletions

View file

@ -66,7 +66,7 @@ bool test_heap2();
// Main testing
// ---------------------------------------------------------------------------
int main() {
mi_option_enable(mi_option_verbose,false);
mi_option_disable(mi_option_verbose);
// ---------------------------------------------------
// Malloc