Update image of FLOC 2022 SMT medals.

cvc5 · Aug 1, 2023 · b554413 · b554413
1 parent c8ac959
commit b554413
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/_awards/smt-comp-2022.md b/_awards/smt-comp-2022.md
@@ -160,6 +160,6 @@ overall:
   medals:
   - medal: 3 gold medals
 
-img: /img/floc22-smt.jpg
+img: /img/floc-smt-2022.jpg
 
 ---
diff --git a/img/floc-smt-2022-1.jpg b/img/floc-smt-2022-1.jpg
diff --git a/img/floc-smt-2022.jpg b/img/floc-smt-2022.jpg
diff --git a/img/floc22-smt.jpg b/img/floc22-smt.jpg