12 #ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H 13 #define CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H 33 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
ui_message_handlert & ui_message_handler
goto_diff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
virtual void register_languages()