Commit 5728f4b8 authored by Matthew Pickering's avatar Matthew Pickering
Browse files

Remove INLINE pragma on loopbreaker

parent 895aa6d1
......@@ -1202,7 +1202,6 @@ Main functions are:
runMany :: (ValVec -> PmM PartialResult) -> (Uncovered -> PmM PartialResult)
runMany _ [] = return mempty
runMany pm (m:ms) = mappend <$> pm m <*> runMany pm ms
{-# INLINE runMany #-}
-- | Generate the initial uncovered set. It initializes the
-- delta with all term and type constraints in scope.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment