From 936e1fe421489c3a6ebe863cae80d5c461054a10 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 17 Apr 2019 22:49:32 -0500
Subject: [PATCH] Update arxiv link.

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

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 9584632..933fb6b 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -131,6 +131,7 @@
   title     = {Scalable Verification of Probabilistic Network Programs},
   author    = {Smolka, Steffen and
                Kumar, Praveen and
+               Kahn, David M and
                Foster, Nate and
                Hsu, Justin and
                Kozen, Dexter and
@@ -139,8 +140,8 @@
   year      = {2019},
   jh        = yes,
   reviewed  = yes,
-  url       = {https://arxiv.org/abs/1707.02772},
-  eprint    = {1707.02772},
+  url       = {https://arxiv.org/abs/1904.08096},
+  eprint    = {1904.08096},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
 }