diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 713d945a6..9546a0199 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -13,8 +13,6 @@
 
 
 ;;;###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)