From fbff46d27ddd36d7b3aaa7a06b8cbacc3145a97d Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 10 May 2016 10:57:03 -0700
Subject: [PATCH] bump rocket

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

diff --git a/rocket b/rocket
index 9f853450..ffbbb858 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit 9f853450deb5996251e88dfa75f715593ca2878a
+Subproject commit ffbbb85829d6e9d36aee871d8af2891c1c0ba99e