Don't reverse accumulated logs.
Not necessary anymore.
This commit is contained in:
parent
50777aaca4
commit
6f6a95fdaa
|
@ -48,9 +48,7 @@
|
|||
;; the same piece of code multiple times.
|
||||
;; Duplicates are not significant (unlike for inlining logs) and we can
|
||||
;; prune them.
|
||||
(values (reverse (remove-duplicates TR-log))
|
||||
(reverse mzc-log)
|
||||
(reverse (remove-duplicates info-log))))
|
||||
(values (remove-duplicates TR-log) mzc-log (remove-duplicates info-log)))
|
||||
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
|
|
Loading…
Reference in New Issue
Block a user