diff --git a/content/blog/02_spa_agda_combining_lattices.md b/content/blog/02_spa_agda_combining_lattices.md
index af43f97..dc42ca4 100644
--- a/content/blog/02_spa_agda_combining_lattices.md
+++ b/content/blog/02_spa_agda_combining_lattices.md
@@ -1,7 +1,7 @@
 ---
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 2: Combining Lattices"
 series: "Static Program Analysis in Agda"
-date: 2024-04-13T14:23:03-07:01
+date: 2024-04-13T14:23:03-07:02
 draft: true
 tags: ["Agda", "Programming Languages"]
 ---