C#: Fix typos

hvitved · hvitved · commit 438b8dd273e0 · 2020-11-03T14:57:07.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/controlflow/ControlFlowGraph.qll b/csharp/ql/src/semmle/code/csharp/controlflow/ControlFlowGraph.qll
@@ -109,7 +109,7 @@ module ControlFlow {
      * Holds if this node post-dominates `that` node.
      *
      * That is, all paths reaching a normal callable exit node (an `AnnotatedExitNode`
-     * with a normal normal exit type) from `that` node must go through this node.
+     * with a normal exit type) from `that` node must go through this node.
      *
      * Example:
      *
@@ -146,7 +146,7 @@ module ControlFlow {
      * Holds if this node strictly post-dominates `that` node.
      *
      * That is, all paths reaching a normal callable exit node (an `AnnotatedExitNode`
-     * with a normal normal exit type) from `that` node must go through this node
+     * with a normal exit type) from `that` node must go through this node
      * (which must be different from `that` node).
      *
      * Example:

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,7 @@ module ControlFlow {`
`109`	`109`	* Holds if this node post-dominates `that` node.
`110`	`110`	`*`
`111`	`111`	* That is, all paths reaching a normal callable exit node (an `AnnotatedExitNode`
`112`		- * with a normal normal exit type) from `that` node must go through this node.
	`112`	+ * with a normal exit type) from `that` node must go through this node.
`113`	`113`	`*`
`114`	`114`	`* Example:`
`115`	`115`	`*`
`@@ -146,7 +146,7 @@ module ControlFlow {`
`146`	`146`	* Holds if this node strictly post-dominates `that` node.
`147`	`147`	`*`
`148`	`148`	* That is, all paths reaching a normal callable exit node (an `AnnotatedExitNode`
`149`		- * with a normal normal exit type) from `that` node must go through this node
	`149`	+ * with a normal exit type) from `that` node must go through this node
`150`	`150`	* (which must be different from `that` node).
`151`	`151`	`*`
`152`	`152`	`* Example:`