Clarify what goto_modelt is used for

thomasspriggs · thomasspriggs · commit 784648533fab · 2023-02-03T18:19:24.000Z
Is was not previously clear that `goto_modelt` was used as a storage
class.
diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md
@@ -7,7 +7,7 @@ CBMC and the assorted CProver tools.
 ## goto_modelt
 
 The `goto_modelt` is the main data structure that CBMC (and the other tools) use
-for the GOTO intermediate representation.
+for holding the GOTO intermediate representation.
 
 A `goto_modelt` is effectively a pair, consisting of:
 
