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

Module: C++ Language Conversion

Author: Daniel Kroening, kroening@cs.cmu.edu

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

#ifndef CPROVER_CPP_CONVERT_TYPE_H
#define CPROVER_CPP_CONVERT_TYPE_H

#include <util/type.h>

void cpp_convert_plain_type(typet &type);

#endif
