fix date

pypy · Jul 12, 2024 · 65be70d · 65be70d
1 parent 7cc43a6
commit 65be70d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/posts/2024/07/finding-simplification-rules-with-z3.md b/posts/2024/07/finding-simplification-rules-with-z3.md
@@ -1,7 +1,7 @@
 <!--
 .. title: Finding Simple Rewrite Rules for the JIT with Z3
 .. slug: finding-simple-rewrite-rules-jit-z3
-.. date: 2024-07-20 19:14:09 UTC
+.. date: 2024-07-12 19:14:09 UTC
 .. tags:
 .. category:
 .. link: