Deconflict labels

Joel Allred · Joel Allred · commit fe0af0388738 · 2018-08-22T11:06:20.000+01:00
diff --git a/src/goto-programs/README.md b/src/goto-programs/README.md
@@ -44,7 +44,7 @@ most of the templates have a single instantiation; for example
 `goto_functionst` and `goto_function_templatet` and `goto_programt` and
 `goto_program_templatet`.
 
-\section data_structures Data Structures
+\section goto_data_structures Data Structures
 
 FIXME: This text is partially outdated.
 
diff --git a/src/util/README.md b/src/util/README.md
@@ -5,7 +5,7 @@
 
 \author Martin Brain, Owen Jones, Chris Smowton
 
-\section data_structures Data Structures
+\section util_data_structures Data Structures
 
 \ref util contains some of the key data-structures used in the
 CPROVER codebase.
