cprover
languages.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Language Registration
4 
5 Author:
6 
7 \*******************************************************************/
8 
11 
13 
14 #include <langapi/mode.h>
15 
16 #include <ansi-c/ansi_c_language.h>
17 
19 {
21 }
languaget * new_ansi_c_language()
Command Line Parsing.
void register_language(language_factoryt factory)
Definition: mode.cpp:31