From 7a959fd3e65be482a96c4cfdf84d2b5618b0e042 Mon Sep 17 00:00:00 2001
From: AdamZsofi <adamzsofi.mail@gmail.com>
Date: Sun, 13 Nov 2022 21:35:06 +0100
Subject: [PATCH] Fixed typo

---
 .../analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java
index 22b79e0e0b..602c3c21a0 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java
@@ -50,7 +50,7 @@ private boolean isBadLeaf(ArgNode<S, A> node) {
                 String line=null;
                 try {
                     while( (line=bufReader.readLine()) != null ) {
-                        if(line.trim().matches("^\\(__id_.*__.*\strue\\)*$")) transitionFired=true;
+                        if(line.trim().matches("^.*\\(__id_.*__.*\strue\\).*$")) transitionFired=true;
                     }
                 } catch (IOException e) {
                     e.printStackTrace();