Java: Adjust csv validation.

This commit is contained in:
Anders Schack-Mulligen
2021-10-01 14:03:35 +02:00
parent 04892df45a
commit 9133adac30

View File

@@ -574,7 +574,7 @@ module CsvValidation {
not (part = "Argument" and pred = "sink") and
not parseArg(part, _)
or
specSplit(input, part, _) and
part = specLast(input) and
parseParam(part, _)
) and
msg = "Unrecognized input specification \"" + part + "\" in " + pred + " model."