From 69bd0d6cd1bc8096e3dd8b802aefd319ab8cb952 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 25 Sep 2016 09:02:57 -0400
Subject: [PATCH] Bib fix.

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

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 332a323..5d6e718 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -37,7 +37,7 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{HKM-verif16,
+@inproceedings{HKM-verif16,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and
             Gaboardi, Marco and