From 5b86b5d0b1f2e9860786078c5a8d62c7aa0b1067 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Thu, 26 Apr 2018 11:05:48 -0400
Subject: Util.Loops: remove non-stdlib dependencies

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

(limited to 'etc')

diff --git a/etc/coq-scripts b/etc/coq-scripts
index ef2d7f9e7..7bd683da1 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit ef2d7f9e7e9530f05fb3b2362db787a2885c59b4
+Subproject commit 7bd683da1fac8b5eb42de1e44a3274db4fd0ce41
-- 
cgit v1.2.3