From 8a3e87fe42b0e642dec2fdd64ca7aaea4bb1ae49 Mon Sep 17 00:00:00 2001
From: Erik Krogh Kristensen <erik-krogh@github.com>
Date: Thu, 26 Nov 2020 23:08:34 +0100
Subject: [PATCH] remove unnecessary one-step inline

---
 javascript/ql/src/Performance/ReDoS.ql | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/javascript/ql/src/Performance/ReDoS.ql b/javascript/ql/src/Performance/ReDoS.ql
index 99ef1eeb2ac..7cec69f8df3 100644
--- a/javascript/ql/src/Performance/ReDoS.ql
+++ b/javascript/ql/src/Performance/ReDoS.ql
@@ -887,14 +887,8 @@ StatePair getAForkPair(State fork) {
 predicate isPumpable(State fork, string w) {
   exists(StatePair q, Trace t |
     isReachableFromFork(fork, q, t, _) and
-    (
-      q = getAForkPair(fork) and w = concretise(t)
-      or
-      exists(InputSymbol s1, InputSymbol s2 |
-        step(q, s1, s2, getAForkPair(fork)) and
-        w = concretise(Step(s1, s2, t))
-      )
-    )
+    q = getAForkPair(fork) and
+    w = concretise(t)
   )
 }