update cargo lock

iosis-tech · Jan 12, 2025 · 537a62b · 537a62b
1 parent d4b74b8
commit 537a62b
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/proof_parser/Cargo.lock b/proof_parser/Cargo.lock