12#ifndef CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
13#define CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
23 const std::string &src,
24 bool force_integer_type);
Base class for all expressions.
exprt convert_character_literal(const std::string &src, bool force_integer_type)