Fixed typo

ftsrg · Nov 13, 2022 · 7a959fd · 7a959fd
1 parent b553dd6
commit 7a959fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegen/XstsDoubleEndNodeRemover.java b/.../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();