From dacf19048426925dcd16cf34e1a9cb5c21a9fb24 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Tue, 5 Jan 2021 12:09:03 +0000
Subject: [PATCH] Remove extra booktitle.

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

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 34bb8f2..2f0de2f 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -128,7 +128,6 @@
             Kaminski, Benjamin Lucien and
             Katoen, Joost-Pieter and
             Matheja, Christoph},
-  booktitle = popl21,
   year   = 2021,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},