Use pmd 7.1.0 for checks

pmd · Apr 26, 2024 · b71d5ec · b71d5ec
1 parent 99f9b17
commit b71d5ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -83,7 +83,7 @@
 
         <pmd.build-tools.version>24</pmd.build-tools.version>
         <pmd.plugin.version>3.22.0</pmd.plugin.version>
-        <pmd.check.version>7.0.0</pmd.check.version>
+        <pmd.check.version>7.1.0</pmd.check.version>
 
         <jflex-output>${project.build.directory}/generated-sources/jflex</jflex-output>