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

Module:

Author:

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


#ifndef CPROVER_CPP_CPP_UTIL_H
#define CPROVER_CPP_CPP_UTIL_H

#include <util/std_expr.h>

class symbolt;

symbol_exprt cpp_symbol_expr(const symbolt &symbol);

#endif // CPROVER_CPP_CPP_UTIL_H