diff options
| -rw-r--r-- | parent/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index 2395991896a..36d682e7895 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -88,7 +88,7 @@ <arg>-Xlint:-try</arg> <arg>-Xlint:-processing</arg> <arg>-Xlint:-varargs</arg> - <arg>-Xlint:-options</arg> + <arg>-Xlint:-options</arg> <arg>-Werror</arg> </compilerArgs> </configuration> |