Skip to content

Commit c784275

Browse files
aschackmullhvitved
andauthored
Update docs/ql-libraries/dataflow/dataflow.md
Co-authored-by: Tom Hvitved <[email protected]>
1 parent 4aac70d commit c784275

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

docs/ql-libraries/dataflow/dataflow.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -363,7 +363,7 @@ DataFlowType getNodeType(Node n)
363363
```
364364
and every `Node` should have a type.
365365

366-
One also needs to define the the string representation of a `DataFlowType`:
366+
One also needs to define the string representation of a `DataFlowType`:
367367
```
368368
string ppReprType(DataFlowType t)
369369
```
@@ -472,4 +472,3 @@ The file `dataflow/internal/DataFlowImplConsistency.qll` contains a number of
472472
consistency checks to verify that the language-specfic parts satisfy the
473473
invariants that are expected by the shared implementation. Run these queries to
474474
check for inconsistencies.
475-

0 commit comments

Comments
 (0)