ui: Change module import suggestion string.

Change-Id: I16c61985969ecf714ebc3323089cfac38d5835bb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Laura Kirsch 2025-11-23 12:43:17 +01:00 committed by Ludovic Courtès
parent 35770c78a2
commit 6c8b81ee57
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -368,8 +368,8 @@ arguments."
(#f
(display-hint (G_ "Did you forget a @code{use-modules} form?")))
((? module? module)
(display-hint (G_ "Did you forget @code{(use-modules ~a)}?")
(module-name module)))))))
(display-hint (G_ "Did you forget @code{(use-modules ~a)} or @code{#:use-module ~a}?")
(module-name module) (module-name module)))))))
(define (check-module-matches-file module file)
"Check whether FILE starts with 'define-module MODULE' and print a hint if