diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-15 09:42:22 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-15 09:42:22 +0200 |
| commit | b238dab7a2f8a52281a920df027c3dea4fc4b28c (patch) | |
| tree | 487e3c78ff27444d49002e6174af124df607d8c7 | |
| parent | d04888c966ebbf0ea5532b44766697f6fa8e04c3 (diff) | |
Fixing last commit.
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 0 insertions, 1 deletions
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 |