text: /*******************************************************************\
  
  Module: C/C++ Language Conversion
  
  Author: Daniel Kroening, kroening@kroening.com
  
  \*******************************************************************/
  
  #ifndef CPROVER_ANSI_C_CONVERT_STRING_LITERAL_H
  #define CPROVER_ANSI_C_CONVERT_STRING_LITERAL_H
  
  #include <string>
  #include <util/expr.h>
  
  void convert_string_literal(const std::string &src, exprt &dest);
  
  #endif
  