Document make_assertion parameter of instrument_cover_goals

In order to make the doxygen valid again.

Author: thomasspriggs

src/goto-instrument/cover.cpp

@@ -30,6 +30,10 @@ Date: May 2016
 /// \param mode: mode of the function to instrument (for instance ID_C or
 ///   ID_java)
 /// \param message_handler: a message handler
+/// \param make_assertion: A function which takes an expression, with a source
+///   location and makes an assertion based on that expression. The expression
+///   asserted is expected to include the expression passed in, but may include
+///   other additional conditions.
 static void instrument_cover_goals(
   const irep_idt &function_id,
   goto_programt &goto_program,