@@ -386,7 +386,7 @@ elabClauses info fc opts n_in cs = let n = liftname info n_in in
386 iputStrLn $ show fc ++
386 iputStrLn $ show fc ++
387 ":warning - Unreachable case: " ++
387 ":warning - Unreachable case: " ++
388 show (delab ist x)) xs
388 show (delab ist x)) xs
389− let knowncovering = pcover && cov
389+ let knowncovering = (pcover && cov) || AssertTotal `elem` opts
391 tree' <- tclift $ simpleCase tcase knowncovering RunTime fc pdef'
391 tree' <- tclift $ simpleCase tcase knowncovering RunTime fc pdef'
392 logLvl 3 (show tree)
392 logLvl 3 (show tree)