hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Fix trailing and non-ascii whitespace.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-11-30 11:14:43 +01:00
parent ba56565125
commit 758cb8b412
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/util/codeql/util/Option.qll
View File

@@ -28,9 +28,9 @@ module Option<TypeWithToString T> {
/** Gets the wrapped element, if any. */
T asSome() { this = TSome(result) }
/** Holds if this option is the singleton `None`. */
predicate isNone() { this = TNone() }
predicate isNone() { this = TNone() }
}
/** The singleton `None` element. */