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

Module: C++ Language Conversion

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// C++ Language Conversion

#ifndef CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
#define CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H

#include <string>

#include <util/expr.h>

// Ugh. Characters have type 'int' in C, but type
// 'char' in C++.

exprt convert_character_literal(
  const std::string &src,
  bool force_integer_type);

#endif // CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
