Merge pull request #6175 from martin-cs/fix/symtab2gb-register-language

Register the json_symtab languauge in symtab2gb

Author: martin-cs

src/symtab2gb/module_dependencies.txt

@@ -1,3 +1,4 @@
 util
 json-symtab-language
+langapi
 goto-programs

src/symtab2gb/symtab2gb_parse_options.cpp

@@ -17,6 +17,7 @@ Author: Diffblue Ltd.
 #include <goto-programs/link_goto_model.h>
 #include <goto-programs/write_goto_binary.h>
 #include <json-symtab-language/json_symtab_language.h>
+#include <langapi/mode.h>
 
 #include <util/config.h>
 #include <util/exception_utils.h>
@@ -111,6 +112,7 @@ int symtab2gb_parse_optionst::doit()
   {
     gb_filename = cmdline.get_value(SYMTAB2GB_OUT_FILE_OPT);
   }
+  register_language(new_json_symtab_language);
   config.set(cmdline);
   run_symtab2gb(symtab_filenames, gb_filename);
   return CPROVER_EXIT_SUCCESS;