From 1d9fe9c8e3217bedc44eb2ec1e91d9f831fe33b6 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 13 Jan 2025 13:21:31 +0000
Subject: [PATCH] Delta debugging

---
 doc/architectural/central-data-structures.md | 27 --------------------
 1 file changed, 27 deletions(-)

diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md
index 5365efb03bf..d79fa79b0c6 100644
--- a/doc/architectural/central-data-structures.md
+++ b/doc/architectural/central-data-structures.md
@@ -25,33 +25,6 @@ erDiagram
   symbol_tablet {
     symbol_map symbols
   }
-  symbol_tablet ||--o{ symbolt : ""
-  symbolt {
-    string name
-  }
-  goto_functionst {
-    function_map functions
-  }
-  goto_functionst ||--o{ goto_functiont : ""
-  goto_functiont {
-    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: