12 #ifndef CPROVER_ANSI_C_LITERALS_CONVERT_STRING_LITERAL_H 13 #define CPROVER_ANSI_C_LITERALS_CONVERT_STRING_LITERAL_H 21 #endif // CPROVER_ANSI_C_LITERALS_CONVERT_STRING_LITERAL_H exprt convert_string_literal(const std::string &src)
Base class for all expressions.