Skip to content

Commit a52ea75

Browse files
committed
spelling: known
Signed-off-by: Josh Soref <[email protected]>
1 parent be2dbe7 commit a52ea75

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

csharp/ql/src/experimental/ir/implementation/raw/internal/TranslatedElement.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -512,7 +512,7 @@ abstract class TranslatedElement extends TTranslatedElement {
512512

513513
/**
514514
* If the instruction specified by `tag` has a result of type `UnknownType`,
515-
* gets the size of the result in bytes. If the result does not have a knonwn
515+
* gets the size of the result in bytes. If the result does not have a known
516516
* constant size, this predicate does not hold.
517517
*/
518518
int getInstructionResultSize(InstructionTag tag) { none() }

0 commit comments

Comments
 (0)