From cce89f5fbcec2b94e7cff12f8c30d03d23a73434 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Fri, 25 Mar 2016 14:18:15 -0700
Subject: [PATCH] Bump rocket

---
 rocket | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rocket b/rocket
index 7c3baa0f..815403e5 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit 7c3baa0ff68b4d8f5732c498da907e58e96bbcf2
+Subproject commit 815403e5dc3af5411b1c54782d3cd291c76b5f21