Skip to content

Commit 20669c7

Browse files
committed
Deviation: Clarification in user manual.
1 parent 8437c7c commit 20669c7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/user_manual.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -512,7 +512,7 @@ A `codeql::<standard>_deviation_end` without a matching `codeql::<standard>_devi
512512

513513
`codeql::<standard>_deviation_begin` and `ccodeql::<standard>_deviation_end` markers only apply within a single file. Markers cannot be paired across files, and deviations do not apply to included files.
514514

515-
Note: deviation markers cannot be applied to the body of a macro. Please apply the deviation to macro expansion, or use the attribute deviation format.
515+
Note: deviation comment markers cannot be applied to the body of a macro. Please apply the deviation to macro expansion, or use the attribute deviation format.
516516

517517
##### Deviation permits
518518

0 commit comments

Comments
 (0)