diff options
Diffstat (limited to 'gnu/packages/pretty-print.scm')
| -rw-r--r-- | gnu/packages/pretty-print.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm index 9745a9ba10..5752942e3b 100644 --- a/gnu/packages/pretty-print.scm +++ b/gnu/packages/pretty-print.scm @@ -266,6 +266,7 @@ to @code{IOStreams}.") (method url-fetch) (uri (string-append "mirror://gnu/src-highlite/source-highlight-" version ".tar.gz")) + (patches (search-patches "source-highlight-gcc-compat.patch")) (sha256 (base32 "148w47k3zswbxvhg83z38ifi85f9dqcpg7icvvw1cm6bg21x4zrs")))) |