Skip to content

Commit c92c212

Browse files
committed
fix syntax errors introduced
1 parent df915dc commit c92c212

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

shared/dataflowstack/codeql/dataflowstack/DataFlowStack.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -211,7 +211,7 @@ module DataFlowStackMake<DF::InputSig Lang>{
211211
FlowStackFrame getASucceedingTerminalStateFrame(){
212212
result = this.getChildStackFrame() and
213213
// There are no other direct children that are further in the flow
214-
not result.getASuccessor+() = this.getChildStackFrame() and
214+
not result.getASuccessor+() = this.getChildStackFrame()
215215
}
216216

217217
/**
@@ -260,7 +260,7 @@ module DataFlowStackMake<DF::InputSig Lang>{
260260
* Unpacks the CallFrame associated with this FlowStackFrame
261261
*/
262262
CallFrame getCallFrame(){
263-
this = TFlowStackFrame(_, result) and
263+
this = TFlowStackFrame(_, result)
264264
}
265265
}
266266

0 commit comments

Comments
 (0)