Correct error018 test

I expect I got my local versions inconsistent while working on this...

Author: edwinb

tests/idris2/error018/expected

@@ -30,7 +30,7 @@ Issue1031-3:4:6--4:7
 
 1/1: Building Issue1031-4 (Issue1031-4.idr)
 Error: While processing left hand side of nice. Unsolved holes:
-Main.{dotTm:404} introduced at: 
+Main.{dotTm:373} introduced at: 
 Issue1031-4:4:6--4:10
  1 | %default total
  2 |