diff options
Diffstat (limited to 'coq/coq-db.el')
| -rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index 53ea970f..7fa7d1f4 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -72,7 +72,7 @@ new keyword to colorize.") Insert corresponding string with holes at point. If an insertion function is present for the keyword, call it instead. see `coq-syntax-db' for DB structure." - (let* ((tac (completing-read (concat prompt " (tab for completion) : ") + (let* ((tac (completing-read (concat prompt " (TAB for completion): ") db nil nil)) (infos (cddr (assoc tac db))) (s (car infos)) ; completion to insert |