/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/


#ifndef CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H
#define CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H

#include <iosfwd>

void cpp_internal_additions(std::ostream &code);

#endif // CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H