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

Module: Placeholder for eventual upgraded invariants.

Author: Jesse Sigal, jesse.sigal@diffblue.com

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

#ifndef CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H
#define CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H

#define string_refinement_invariantt(reason)                                   \
  (("string_refinement_invariantt(" + std::string(reason) + ")").c_str())

#endif // CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H
