/*******************************************************************\ Module: Language Registration Author: Daniel Kroening, kroening@kroening.com \*******************************************************************/ /// \file /// Language Registration #include "goto_diff_parse_options.h" #include #include #include void goto_diff_parse_optionst::register_languages() { register_language(new_ansi_c_language); register_language(new_cpp_language); }