Add missing doc-string for a remove_exceptions overload

Author: smowton

jbmc/src/java_bytecode/remove_exceptions.cpp

@@ -626,7 +626,18 @@ void remove_exceptions(
   remove_exceptions(goto_program);
 }
 
-/// removes throws/CATCH-POP/CATCH-PUSH
+/// removes throws/CATCH-POP/CATCH-PUSH, replacing them with explicit exception
+/// propagation.
+/// \param goto_model: model to remove exceptions from. The
+///   `@inflight_exception` global may be added to its symbol table if not
+///   already present. It will not be initialised; that is the caller's
+///   responsibility.
+/// \param class_hierarchy: class hierarchy analysis of symbol_table.
+///   Only needed if type == REMOVE_ADDED_INSTANCEOF; otherwise may be null.
+/// \param message_handler: logging output
+/// \param type: specifies whether instanceof operations generated by this pass
+///   should be lowered to class-identifier comparisons (using
+///   remove_instanceof).
 void remove_exceptions(
   goto_modelt &goto_model,
   message_handlert &message_handler,