From 78ab9af8aab0f8e3fc3e952085fc849b8f2c107b Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 13 Nov 2017 13:55:53 -0500
Subject: Bump submodule for timing ordering

---
 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 14a82bff4..617ccffd8 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 14a82bff48cf0cbb0b38b472f379163801ab2b23
+Subproject commit 617ccffd8fb65f0f82ac756a27879f296a6f1c05
-- 
cgit v1.2.3