Skip to content

Commit 1aa0e7c

Browse files
committed
C#: Make private.
1 parent e3fc319 commit 1aa0e7c

File tree

1 file changed

+1
-2
lines changed
  • csharp/ql/lib/semmle/code/csharp/controlflow

1 file changed

+1
-2
lines changed

csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2278,8 +2278,7 @@ module Internal {
22782278
*
22792279
* This predicate relies on the control flow graph.
22802280
*/
2281-
cached
2282-
predicate impliesStep(Guard g1, AbstractValue v1, Guard g2, AbstractValue v2) {
2281+
private predicate impliesStep(Guard g1, AbstractValue v1, Guard g2, AbstractValue v2) {
22832282
preImpliesStep(g1, v1, g2, v2)
22842283
or
22852284
forex(ControlFlow::Node cfn1 | cfn1 = g1.getAControlFlowNode() |

0 commit comments

Comments
 (0)