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

Module: C++ Language Conversion

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

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

#ifndef CPROVER_CPP_CONVERT_INTEGER_LITERAL_H
#define CPROVER_CPP_CONVERT_INTEGER_LITERAL_H

#include <string>
#include <expr.h>

void convert_integer_literal(
  const std::string &src,
  exprt &dest,
  unsigned base);

#endif
