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

Module: ANSI-C Language Conversion

Author: Daniel Kroening, kroening@cs.cmu.edu

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

#ifndef CPROVER_C_TYPECHECK_UNESCAPE_STRING_H
#define CPROVER_C_TYPECHECK_UNESCAPE_STRING_H

#include <string>

void unescape_string(const std::string &src, std::string &dest);

#endif
