From a9d72aac2a3a625c5b611861b6daa1e982296c85 Mon Sep 17 00:00:00 2001
From: Henry Cook <hcook@eecs.berkeley.edu>
Date: Thu, 25 Sep 2014 19:24:27 -0700
Subject: [PATCH] bump rocket

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

diff --git a/rocket b/rocket
index 3ed2fb60..df135fba 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit 3ed2fb60ac05ddd25434b38bcb1ec7468ee94e4d
+Subproject commit df135fba5ec185af1ac7462de46b372b8feaed27