C#: Fix spelling error in ql doc.

This commit is contained in:
Michael Nebel
2022-10-11 09:37:04 +02:00
parent 5b9ae5e6db
commit ceef9cf276

View File

@@ -189,7 +189,7 @@ class TypeBasedFlowTargetApi extends Specific::TargetApiSpecific {
* Gets the string representation of all type based summaries for `this`
* inspired by the Theorems for Free approach.
*
* Examples could be (see C# psuedo code below)
* Examples could be (see C# pseudo code below)
* (1) `Get` returns a value of type `T`. We assume that the returned
* value was fetched from a (synthetic) field.
* (2) `Set` consumes a value of type `T`. We assume that the value is stored in