cprover
Loading...
Searching...
No Matches
jsil_internal_additions.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Jsil Language
4
5Author: 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
15class symbol_tablet;
16
18
19#endif // CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
The symbol table.
Definition: symbol_table.h:14
void jsil_internal_additions(symbol_tablet &dest)