Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 6e8ef10

Browse filesBrowse files
committed
format fix
1 parent 390f670 commit 6e8ef10
Copy full SHA for 6e8ef10

File tree

Expand file treeCollapse file tree

1 file changed

+1
-1
lines changed
Filter options
Expand file treeCollapse file tree

1 file changed

+1
-1
lines changed

‎cpp/common/src/codingstandards/cpp/Concurrency.qll

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Concurrency.qll
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -404,7 +404,7 @@ class LockProtectedControlFlowNode extends ThreadedCFN {
404404
// to the caller to enforce this condition.
405405
// Because of the way that `getAThreadContextAwarePredecessor` works, it is possible
406406
// for operations PAST it to be technically part of the predecessors.
407-
// Thus, we need to make sure that this node is a
407+
// Thus, we need to make sure that this node is a
408408
// successor of the unlock in the CFG
409409
getAThreadContextAwareSuccessor(unlock) = this
410410
) and

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.