Update key.core/src/main/java/de/uka/ilkd/key/nparser/builder/TacletP…

…Builder.java More concrete comment where to declare taclet options
KeYProject · Jun 24, 2024 · fb3a5b1 · fb3a5b1
1 parent ec65160
commit fb3a5b1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/nparser/builder/TacletPBuilder.java b/key.core/src/main/java/de/uka/ilkd/key/nparser/builder/TacletPBuilder.java
@@ -685,8 +685,9 @@ public ChoiceExpr visitOption_expr_prop(KeYParser.Option_expr_propContext ctx) {
         String value = ctx.option().value.getText();
         String choiceStr = category + ":" + value;
         /*
-         * Make sure that the choice (category and value!) is known to KeY. This prevents from
-         * accidentally deactivating (parts of) taclets due to non-existing choices (see
+         * Make sure that the choice (category and value!) is known to KeY, i.e. that it is declared
+         * in the file `optionsDeclarations.key`. This prevents from accidentally deactivating
+         * (parts of) taclets due to non-existing choices (see
          * https://github.com/KeYProject/key/issues/3352).
          */
         if (choices().lookup(choiceStr) == null) {