Update and correct the description of analyses/

src/analyses/README.md

@@ -78,7 +78,7 @@ apply the dominator algorithm to its Java bytecode representation.
 `cfg_dominators_templatet::output` is a good place to check how to query the
 dominators it has found.
 
-\subsection analyses-constant-propagation Constant propagation (\ref constant_propagator_ait)
+\subsection analyses-constant-propagation Constant propagation (constant_propagator_ait)
 
 A simple, unsound constant propagator. Replaces RHS symbol expressions (variable
 reads) with their values when they appear to have a unique value at a particular
@@ -251,10 +251,6 @@ To be documented.
 
 \section analyses-transformations Transformations (arguably in the wrong directory):
 
-\subsection analyses-goto-checkt Pointer / overflow / other check insertion (goto_checkt)
-
-To be documented.
-
 \subsection analyses-interval-analysis Integer interval analysis -- both an analysis and a transformation
 
 \ref interval_analysis interprets instructions of the input \ref goto_modelt