Commit 07477085 authored by Sarah Grebing's avatar Sarah Grebing

fix nullpointer in rulecommandhandler

parent dea88ff5
Pipeline #29260 passed with stages
in 3 minutes and 51 seconds
......@@ -77,7 +77,7 @@ public class RuleCommandHandler implements CommandHandler<KeyData> {
try {
for (SequentFormula sf : g.node().sequent().succedent()) {
ImmutableList<TacletApp> apps = index.getTacletAppAtAndBelow(filter,
new PosInOccurrence(sf, PosInTerm.getTopLevel(), true),
new PosInOccurrence(sf, PosInTerm.getTopLevel(), false),
apps.forEach(t -> set.add(t.taclet().name().toString()));
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment