From b238dab7a2f8a52281a920df027c3dea4fc4b28c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Fri, 15 Jun 2018 09:42:22 +0200
Subject: Fixing last commit.

---
 coq/coq-syntax.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 722167bb..91ef4083 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -23,7 +23,6 @@
 (require 'proof-utils)                  ; proof-locate-executable
 (require 'coq-db)
 (require 'span)
-(require 'subr-x)
 
 ;;; keyword databases
 
-- 
cgit v1.2.3