From d37f7ad4a76ff3a55d224b8a27d82e56c5f3db0a Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 11 Jul 2021 15:41:00 +0100
Subject: [PATCH] Hide again.

---
 bibs/myrefs.bib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index b2364f8..3ef5b58 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{BGHT21,
+unpublished{BGHT21,
   title  = {A Separation Logic for Negative Dependence},
   author = {Bao, Jialu and
             Gaboardi, Marco and
@@ -9,7 +9,7 @@
   jh     = yes,
 }
 
-@unpublished{SLHR21,
+unpublished{SLHR21,
   title  = {Symbolic Execution for Randomized Programs},
   author = {Susag, Zachary and
             Lahiri, Sumit and