cprover
Loading...
Searching...
No Matches
remove_internal_symbols.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Remove symbols that are internal only
4
5Author: Daniel Kroening
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
13#define CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
14
16
18 class symbol_tablet &symbol_table,
20 const bool);
21
22#endif // CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
The symbol table.
Definition: symbol_table.h:14
void remove_internal_symbols(class symbol_tablet &symbol_table, message_handlert &, const bool)
Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.