Skip to content

Commit 193adda

Browse files
committed
Correct "list of GOTO functions" to "collection"
Because the data structure used is not a list and because we should avoid being specific here in order to maintain a high level of abstraction.
1 parent f070ee5 commit 193adda

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/architectural/central-data-structures.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ erDiagram
5656

5757
A `goto_modelt` is effectively a pair, consisting of:
5858

59-
* A list of GOTO functions,
59+
* A collection of GOTO functions.
6060
* A symbol table containing symbol references for the symbols contained in the GOTO functions.
6161

6262
In pseudocode, the type looks this:

0 commit comments

Comments
 (0)