From e525793c0e8522528a2c96078d93bbde041c94a2 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 23 May 2020 19:08:06 -0400
Subject: [PATCH] Bump coq-scripts

---
 etc/coq-scripts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/coq-scripts b/etc/coq-scripts
index bd89a4da38..d0b8e808e0 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit bd89a4da38cc58cbbe56fd8696cd7c633d72d8cc
+Subproject commit d0b8e808e0382d791eb6c0a2d9d751300a2d2057