tree 8d7eddf966117d15018adf67add4d1b805abd787
parent 3f8b5e7882bfc4b715cec8271505afacc6479321
author Johannes Doerfert <johannes@jdoerfert.de> 1701799727 -0800
committer Copybara-Service <copybara-worker@google.com> 1702345847 -0800

[OpenMP][NFCI] Remove effectively unused mutex

The only use was already guarded by a different lock in the caller of
loadBinary.

GitOrigin-RevId: 2ada7bb68bef36cd228d1c236e96932efb18daaa