Merge pull request #3186 from johnnonweiler/doc/reduce-doxygen-warnings-9

Change syntax used in Doxygen comment

Author: Daniel Kroening

jbmc/src/java_bytecode/load_method_by_regex.cpp

@@ -48,7 +48,7 @@ bool does_pattern_miss_descriptor(const std::string &pattern)
 
 /// Create a lambda that returns the symbols that the given pattern should be
 /// loaded.If the pattern doesn't include a colon for matching the descriptor,
-/// append a `:\(.*\).*` to the regex. Note this will mean all overloaded
+/// append a :\(.*\).* to the regex. Note this will mean all overloaded
 /// methods will be marked as extra entry points for CI lazy loading.
 /// If the pattern doesn't include the java:: prefix, prefix that
 /// \param pattern: The user provided pattern