From 477124c9f792c33096e8cda0302506b32150f5ad Mon Sep 17 00:00:00 2001
From: John Wright <johnwright@eecs.berkeley.edu>
Date: Fri, 11 Oct 2019 01:47:03 -0700
Subject: [PATCH] Bump hammer, which now includes readthedocs

---
 vlsi/hammer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vlsi/hammer b/vlsi/hammer
index 3bda9f5..85c12e9 160000
--- a/vlsi/hammer
+++ b/vlsi/hammer
@@ -1 +1 @@
-Subproject commit 3bda9f5d12b3595d42f59fa0acaeb1c0bc2ef2a9
+Subproject commit 85c12e98e63d599f5267c7711a24c174d74974c5