CBMC
jsil_internal_additions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Jsil Language
4 
5 Author: Michael Tautschnig, tautschn@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
13 #define CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
14 
15 class symbol_tablet;
16 
17 void jsil_internal_additions(symbol_tablet &dest);
18 
19 #endif // CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:13
jsil_internal_additions
void jsil_internal_additions(symbol_tablet &dest)
Definition: jsil_internal_additions.cpp:24