From d460696e02f02ae25752678652757da11a44f50a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 22 Jan 2021 22:25:06 +0000
Subject: Add match_states for RTLPargen proof

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

(limited to 'docs')

diff --git a/docs b/docs
index 1ff8b1c..a596c0c 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 1ff8b1c7a3f3e37809e9ac8c1e21d50df270696a
+Subproject commit a596c0c469d7c61b5ed8dfaf8805a926024a3a72
-- 
cgit