Merge branch 'dev' into dev-slice

This commit is contained in:
Daan Leijen 2022-04-19 18:43:32 -07:00
commit 487b401b26
5 changed files with 102 additions and 86 deletions

View file

@ -266,7 +266,7 @@ int main(int argc, char** argv) {
//mi_debug_show_arenas();
#endif
mi_stats_print(NULL);
#endif
#endif
//bench_end_program();
return 0;
}