Show that goto_functionst is a map not a list

thomasspriggs · thomasspriggs · commit 4c4174e8b663 · 2023-02-03T18:19:24.000Z
diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md
@@ -65,7 +65,7 @@ In pseudocode, the type looks this:
 
 ```js
 type goto_modelt {
-  type goto_functionst = list<goto_functiont>
+  type goto_functionst = map<identifier, goto_functiont>
   type symbol_tablet = map<identifier, symbolt>
 }
 ```

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ In pseudocode, the type looks this:`
`65`	`65`
`66`	`66`	```js
`67`	`67`	`type goto_modelt {`
`68`		`- type goto_functionst = list<goto_functiont>`
	`68`	`+ type goto_functionst = map<identifier, goto_functiont>`
`69`	`69`	`type symbol_tablet = map<identifier, symbolt>`
`70`	`70`	`}`
`71`	`71`	```