#include "cpp_internal_additions.h"#include <ostream>#include <util/c_types.h>#include <util/config.h>#include <ansi-c/ansi_c_internal_additions.h>#include <linking/static_lifetime_init.h>#include <goto-programs/adjust_float_expressions.h>Go to the source code of this file.
Definition at line 22 of file cpp_internal_additions.cpp.
Definition at line 45 of file cpp_internal_additions.cpp.