From 41a9c8dd5ebecbc7410e52f3c10c19a9af16e977 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sat, 10 Jul 2021 23:47:39 +0100
Subject: [PATCH] Hide under submission.

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

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 43c7714..41368ed 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