Skip to content

Commit

Permalink
Dummy branch for small core fix
Browse files Browse the repository at this point in the history
  • Loading branch information
fpetrini15 committed Sep 18, 2023
1 parent 4a20c28 commit f5130de
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/main.cc
Original file line number Diff line number Diff line change
Expand Up @@ -527,6 +527,5 @@ main(int argc, char** argv)
// useful since there are many objects that are not yet destructed.
// __lsan_do_leak_check();
#endif // TRITON_ENABLE_ASAN

return 0;
}

0 comments on commit f5130de

Please sign in to comment.