Fix documentation indent

to comply with the coding standard.

Author: petr-bauch

src/goto-harness/recursive_initialization.h

@@ -43,7 +43,7 @@ struct recursive_initialization_configt
   /// \param option: the user option name
   /// \param values: the (one-or-more) values for this option
   /// \return true if the option belonged to recursive initialisation and was
-  /// successfully parsed here
+  ///   successfully parsed here
   bool handle_option(
     const std::string &option,
     const std::list<std::string> &values);