From 84af639fc345d87680470d0272854f6b74bbf092 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <accounts@v0.io>
Date: Mon, 3 Dec 2018 22:23:57 -0500
Subject: [PATCH] set-popup-rules! -> set-popup-rule!

Semantic refactor.

Also adjusts regexp to use non-capturing group (for slight performance benefit).
---
 modules/lang/coq/config.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 7487ee9f2..da7283ac6 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -6,8 +6,7 @@
 (setq coq-mode-abbrev-table '())
 
 (after! company-coq
-  (set-popup-rules!
-    '(("^\\*\\(response\\|goals\\)\\*" :ignore t)))
+  (set-popup-rule! "^\\*\\(?:response\\|goals\\)\\*" :ignore t)
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition
     :references #'company-coq-grep-symbol