merge from dev

This commit is contained in:
Daan Leijen 2024-12-20 13:57:24 -08:00
commit 3903f09b28
4 changed files with 4 additions and 4 deletions

View file

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