Skip to content

Commit 9a6b9b4

Browse files
committed
Reword description of goto program
To draw attention to the link to the `goto_programt` classes' documentation. Note that class names are automatically linked in generating the website.
1 parent 634e7b1 commit 9a6b9b4

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

doc/architectural/central-data-structures.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,8 @@ in the symbol-table for their values.
9393

9494
## goto_programt
9595

96-
A `goto_programt` is a sequence of GOTO instructions (`goto_instructiont`).
96+
A goto program is a sequence of GOTO instructions (`goto_instructiont`). For
97+
details see the documentation of the `goto_programt` class.
9798

9899
An instruction (`goto_instructiont`) is a triple (an element with three subcomponents),
99100
describing a GOTO level instruction with the following 3 component subtypes,

0 commit comments

Comments
 (0)