From f95623989d515fae7295f9b1ca422477adea915c Mon Sep 17 00:00:00 2001
From: Henrik Lissner <accounts@v0.io>
Date: Fri, 31 Aug 2018 03:31:58 +0200
Subject: [PATCH] lang/coq: remove unnecessary after!

For setting a variable, an after! block is overkill
---
 modules/lang/coq/config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 518c08d9d..fc2b0b85e 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,7 +1,7 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
-(after! coq
-  (setq proof-electric-terminator-enable t))
+;; `coq'
+(setq proof-electric-terminator-enable t)
 
 (after! company-coq
   (set-lookup-handlers! 'company-coq-mode