Java: Fix bad magic.

This commit is contained in:
Anders Schack-Mulligen
2021-06-23 14:39:18 +02:00
parent c06e152e90
commit 6374914053

View File

@@ -560,6 +560,7 @@ module CsvValidation {
}
}
pragma[nomagic]
private predicate elementSpec(
string namespace, string type, boolean subtypes, string name, string signature, string ext
) {