Rename source and info.

This commit is contained in:
Dominik Pantůček 2023-04-11 22:11:11 +02:00
parent fb98eb6a78
commit 3ef6c0b628
7 changed files with 18 additions and 18 deletions

View file

@ -167,7 +167,7 @@
;; Nicely prints the member source with any errors recorded.
(define (print-member-source mr)
(let* ((lines (member-source mr))
(let* ((lines (brmember-source mr))
(file-name (ldict-ref mr 'file-name))
(hls (ldict-ref mr 'highlights '())))
(print file-name ":")