From 5ce884ff5a0f0df0bbb97a383c28a541309096b3 Mon Sep 17 00:00:00 2001 From: Pieter Bos Date: Tue, 7 May 2024 15:54:14 +0200 Subject: [PATCH] . --- test/main/vct/test/integration/meta/OldExampleFileHeader.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/main/vct/test/integration/meta/OldExampleFileHeader.scala b/test/main/vct/test/integration/meta/OldExampleFileHeader.scala index 6e0b6bab82..aff1de95ed 100644 --- a/test/main/vct/test/integration/meta/OldExampleFileHeader.scala +++ b/test/main/vct/test/integration/meta/OldExampleFileHeader.scala @@ -9,7 +9,7 @@ class OldExampleFileHeader extends AnyFlatSpec { // PB TODO: We should clean up the example description at some point, but it's not a big priority. cancel() - val wrongFiles = ExampleFiles.FILES.map(RWFile).filter(_.readLines().exists(_.stripLeading().startsWith("//::"))) + val wrongFiles = ExampleFiles.FILES.map(RWFile(_)).filter(_.readLines().exists(_.stripLeading().startsWith("//::"))) for(f <- wrongFiles) { println(s"File ${f.fileName} contains a line starting with `//::`. This is the old syntax to enter a file into the test suite, but this is no longer used.")