Output member file to nick.misc in web output.

This commit is contained in:
Dominik Pantůček 2023-04-01 17:45:56 +02:00
parent 76ff48329a
commit b3bb37cbce
3 changed files with 12 additions and 1 deletions

View file

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