cprover
remove_internal_symbols.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove symbols that are internal only
4
5
Author: Daniel Kroening
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
13
#define CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
14
15
void
remove_internal_symbols
(
16
class
symbol_tablet
&symbol_table);
17
18
#endif // CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:19
remove_internal_symbols
void remove_internal_symbols(class symbol_tablet &symbol_table)
Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.
Definition:
remove_internal_symbols.cpp:74
linking
remove_internal_symbols.h
Generated by
1.8.17