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

Module: ANSI-C Misc Utilities

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// ANSI-C Misc Utilities

#ifndef CPROVER_ANSI_C_C_MISC_H
#define CPROVER_ANSI_C_C_MISC_H

#include <string>

std::string MetaString(const std::string &in);

#endif // CPROVER_ANSI_C_C_MISC_H
