From 953906ccdb62e904431c67992294a9429b364ca0 Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Mon, 27 Aug 2018 15:35:18 +0200
Subject: [PATCH] Terminator triggers evaluation

---
 modules/lang/coq/config.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 2997369b8..518c08d9d 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,5 +1,8 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
+(after! coq
+  (setq proof-electric-terminator-enable t))
+
 (after! company-coq
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition