From 0d7ab5b1ab7c82d7e7ab46a5d8028c39982cf9f3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 11 Jun 2016 18:37:18 +0200
Subject: CleanSmurf

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

(limited to 'CleanSmurfProver')

diff --git a/CleanSmurfProver b/CleanSmurfProver
index 97325a5..b7916c0 160000
--- a/CleanSmurfProver
+++ b/CleanSmurfProver
@@ -1 +1 @@
-Subproject commit 97325a5ef30b63c68adaffb69a0bcfa7f1135d64
+Subproject commit b7916c0e11abd630a59ccb67700e8814f903c68a
-- 
cgit v1.2.3