diff --git a/tests/idris2/coverage008/expected b/tests/idris2/coverage008/expected
index 0ac963019..c4658b98a 100644
--- a/tests/idris2/coverage008/expected
+++ b/tests/idris2/coverage008/expected
@@ -1,6 +1,6 @@
 1/1: Building wcov (wcov.idr)
 Main> Main.tfoo is total
 Main> Main.wfoo is total
-Main> Main.wbar is not covering due to call to function Main.with block in 1395
+Main> Main.wbar is not covering due to call to function Main.with block in 1396
 Main> Main.wbar1 is total
 Main> Bye for now!
diff --git a/tests/idris2/coverage010/expected b/tests/idris2/coverage010/expected
index baf0047af..f8a7a5aa1 100644
--- a/tests/idris2/coverage010/expected
+++ b/tests/idris2/coverage010/expected
@@ -3,4 +3,4 @@ casetot.idr:12:1--13:1:main is not covering at:
 12	main : IO ()
 13	main = do
 
-	Calls non covering function Main.case block in 2164(630)
+	Calls non covering function Main.case block in 2165(630)