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

Module:

Author: Daniel Kroening, kroening@kroening.com

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


#ifndef CPROVER_UTIL_CPROVER_PREFIX_H
#define CPROVER_UTIL_CPROVER_PREFIX_H

// NOLINTNEXTLINE(build/deprecated)
#define CPROVER_PREFIX "__CPROVER_"
// NOLINTNEXTLINE(build/deprecated)
#define CPROVER_FKT_PREFIX "__CPROVER_fkt_"

#endif // CPROVER_UTIL_CPROVER_PREFIX_H
