From f51974f3cc77f9342d53415b611d89e78f4912ec Mon Sep 17 00:00:00 2001
From: Sarah Grebing <grebing@ira.uka.de>
Date: Fri, 2 Feb 2018 14:24:04 +0100
Subject: [PATCH] Bugfix for label matcher

---
 .../edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java     | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
index 86ba474f..c0068cbe 100644
--- a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
+++ b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
@@ -112,11 +112,14 @@ public class KeYMatcher implements MatcherApi<KeyData> {
         resultsFromLabelMatch = new ArrayList<>();
         //compile pattern
         String cleanLabel = label.replaceAll(" ", "");
-        Pattern regexpForLabel = Pattern.compile(cleanLabel);
+        String cleanLabel2 = cleanLabel.replaceAll("\\(", "\\\\(");
+        cleanLabel = cleanLabel2.replaceAll("\\)", "\\\\)");
 
 
         String branchLabel = currentState.getData().getBranchingLabel();
         String cleanBranchLabel = branchLabel.replaceAll(" ", "");
+
+        Pattern regexpForLabel = Pattern.compile(cleanLabel);
         Matcher branchLabelMatcher = regexpForLabel.matcher(cleanBranchLabel);
 
 
-- 
GitLab