Fix the other clashing test output

I don't understand the difference here - there's probably a commit I hadn't merged earlier that affected the name generation.
idris-lang · Jun 10, 2020 · df3449f · df3449f
1 parent c07876d
commit df3449f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 1376
+Main> Main.wbar is not covering due to call to function Main.with block in 1372
 Main> Main.wbar1 is total
 Main> Bye for now!