[Docs] Fix typo in filename

llvm · Mar 13, 2024 · 2bf582c · 2bf582c
1 parent 13b9456
commit 2bf582c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...mg/smt_based_formal_verification_infa.svg → ...g/smt_based_formal_verification_infra.svg b/...mg/smt_based_formal_verification_infa.svg → ...g/smt_based_formal_verification_infra.svg