fixup! jbmc_parse_options is not a messaget

Author: romainbrenguier

jbmc/src/jbmc/jbmc_parse_options.cpp

@@ -551,11 +551,9 @@ int jbmc_parse_optionst::doit()
   {
     log.error() << "Only one .class, .jar or .gbf file should be directly "
                    "specified on the command-line. To force loading another "
-                   "another class "
-                   "use '--java-load-class somepackage.SomeClass' or "
-                   "'--lazy-methods-extra-entry-point "
-                   "somepackage.SomeClass.method' along "
-                   "with '--classpath'"
+                   "another class use '--java-load-class somepackage.SomeClass'"
+                   " or '--lazy-methods-extra-entry-point "
+                   "somepackage.SomeClass.method' along with '--classpath'"
                 << messaget::eom;
     return 6;
   }