diff options
Diffstat (limited to 'compiler/deSugar/Check.hs')
| -rw-r--r-- | compiler/deSugar/Check.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs index 5fd1adfa1b..2b14739a37 100644 --- a/compiler/deSugar/Check.hs +++ b/compiler/deSugar/Check.hs @@ -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. |