diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md index 5365efb03bf..6df1b05df70 100644 --- a/doc/architectural/central-data-structures.md +++ b/doc/architectural/central-data-structures.md @@ -37,21 +37,6 @@ erDiagram goto_programt body ordered_collection_of parameter_identifiers } - goto_functiont ||--|| goto_programt : "" - goto_programt { - ordered_collection_of instructions - } - goto_programt ||--o{ instructiont : "" - instructiont { - enumeration instruction_type - goto_program_codet code - boolean_expression guard - source_locationt source_location - } - instructiont ||--|| goto_program_instruction_typet : "" - instructiont ||--o| goto_program_codet : "" - instructiont ||--o| source_locationt : "" - goto_program_codet ||--o| source_locationt : "" ``` A `goto_modelt` is effectively a pair, consisting of: