diff --git a/src/Renderer/TOC.hs b/src/Renderer/TOC.hs index 14f8d37f9..5b682881a 100644 --- a/src/Renderer/TOC.hs +++ b/src/Renderer/TOC.hs @@ -97,7 +97,7 @@ diffTOC blobs diff = removeDupes (diffToTOCSummaries (source <$> blobs) diff) >> diff' = free (Prologue.fst <$> diff) (beforeInfo, afterInfo) = runJoin $ termToDiffInfo <$> sources in case first (toTOCSummaries . mapPatch beforeInfo afterInfo) diff of - (Free (_ :< syntax)) -> mapToInSummarizable sources diff' (toList syntax >>= snd) + (Free _) -> mapToInSummarizable sources diff' (toList diff >>= snd) (Pure summaries) -> summaries -- Mark which leaves are summarizable.