From fb8c7d3da55d678270f3e4e1c6c4ce0d8670b782 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@eecs.berkeley.edu>
Date: Mon, 7 Apr 2014 23:49:06 -0700
Subject: [PATCH] Push rocket

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

diff --git a/rocket b/rocket
index ea4b1dfd..96cf6e14 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit ea4b1dfd17ac7e873f59f8c878dd0a214cf4f868
+Subproject commit 96cf6e140bab50c8b1899d61a15ea9b90bb494dd