autoformat

Author: erik-krogh

javascript/ql/src/Performance/ReDoS.ql

@@ -173,19 +173,17 @@ predicate isFork(State q, InputSymbol s1, InputSymbol s2, State r1, State r2) {
     or
     r1 = r2 and q1 != q2
     or
-    r1 = r2 and	
-    q1 = q2 and	
-    epsilonSucc+(q) = q and	
-    exists(RegExpTerm term | term = q.getRepr() | term instanceof InfiniteRepetitionQuantifier) and	
-    (	
-      // One of the mid states is an infinite quantifier itself	
-      exists(State mid, RegExpTerm term |	
-        mid = epsilonSucc+(q) and	
-        term = mid.getRepr() and	
-        term instanceof InfiniteRepetitionQuantifier	and
-        q = epsilonSucc+(mid) and	
-        not mid = q
-      )	
+    r1 = r2 and
+    q1 = q2 and
+    epsilonSucc+(q) = q and
+    exists(RegExpTerm term | term = q.getRepr() | term instanceof InfiniteRepetitionQuantifier) and
+    // One of the mid states is an infinite quantifier itself	
+    exists(State mid, RegExpTerm term |
+      mid = epsilonSucc+(q) and
+      term = mid.getRepr() and
+      term instanceof InfiniteRepetitionQuantifier and
+      q = epsilonSucc+(mid) and
+      not mid = q
     )
   ) and
   stateInsideBacktracking(r1) and