Merge pull request #3916 from thk123/followup-opaque-cleanup
Remove no-longer-used system_symbols
This commit is contained in:
commit
05360c42a1
|
@ -12,18 +12,17 @@ Author: Daniel Kroening, kroening@kroening.com
|
|||
#ifndef CPROVER_LANGAPI_LANGUAGE_H
|
||||
#define CPROVER_LANGAPI_LANGUAGE_H
|
||||
|
||||
#include <unordered_set>
|
||||
#include <iosfwd>
|
||||
#include <string>
|
||||
#include <memory> // unique_ptr
|
||||
#include <set>
|
||||
#include <string>
|
||||
#include <unordered_set>
|
||||
|
||||
#include <util/message.h>
|
||||
#include <util/std_types.h>
|
||||
#include <util/symbol.h>
|
||||
#include <util/symbol_table_base.h>
|
||||
|
||||
#include <goto-programs/system_library_symbols.h>
|
||||
|
||||
class symbol_tablet;
|
||||
class exprt;
|
||||
class namespacet;
|
||||
|
@ -188,7 +187,6 @@ public:
|
|||
|
||||
protected:
|
||||
bool language_options_initialized=false;
|
||||
system_library_symbolst system_symbols;
|
||||
};
|
||||
|
||||
#endif // CPROVER_UTIL_LANGUAGE_H
|
||||
|
|
|
@ -1,3 +1,2 @@
|
|||
goto-programs
|
||||
langapi
|
||||
util
|
||||
|
|
Loading…
Reference in New Issue