From 590910576448618d661bdbc86e4622280f217728 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 4 Oct 2020 19:08:43 -0500
Subject: [PATCH] Fix year.

---
 bibs/myrefs.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index d28cc51..1bee855 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -114,7 +114,7 @@
             Katoen, Joost-Pieter and
             Matheja, Christoph},
   booktitle = popl21,
-  year   = 2020,
+  year   = 2021,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},
   archivePrefix = {arXiv},