From 22ae9cca15f5aa9215cf0ec2c7b0b78d64deddc0 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Sat, 19 Oct 2019 04:00:27 -0400
Subject: [PATCH] lang/coq: tab-width = proof-indent

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

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index a35ad2401..713d945a6 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -15,6 +15,10 @@
 ;;;###package coq
 (setq proof-electric-terminator-enable t)
 
+;; Doom syncs other indent variables with `tab-width'; we are trusting major
+;; modes to set it -- which most of them do -- but coq-mode doesn't, so...
+(setq-hook! 'coq-mode-hook tab-width proof-indent)
+
 ;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets
 ;; library included with Doom).
 (setq coq-mode-abbrev-table '())