Improve UserError message in createActiveOptions() (#3530)

typetools · Jul 31, 2020 · c46765e · c46765e
1 parent e8be209
commit c46765e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java b/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
@@ -1561,7 +1561,7 @@ private Map<String, String> createActiveOptions(Map<String, String> options) {
                                     + " At most one separator "
                                     + OPTION_SEPARATOR
                                     + " expected, but found "
-                                    + split.length
+                                    + (split.length - 1)
                                     + ".");
             }
         }