From 07477085dc99e2079a614e34c17b0f4ff141189e Mon Sep 17 00:00:00 2001
From: Sarah Grebing <grebing@ira.uka.de>
Date: Tue, 25 Sep 2018 07:38:30 +0200
Subject: [PATCH] fix nullpointer in rulecommandhandler

---
 .../formal/psdbg/interpreter/funchdl/RuleCommandHandler.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/RuleCommandHandler.java b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/RuleCommandHandler.java
index 80af24ca..306254de 100644
--- a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/RuleCommandHandler.java
+++ b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/RuleCommandHandler.java
@@ -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),
                         services);
                 apps.forEach(t -> set.add(t.taclet().name().toString()));
             }
-- 
GitLab