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},