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

Module: C Language Conversion

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

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

#ifndef CPROVER_ANSI_C_CONVERT_FLOAT_LITERAL_H
#define CPROVER_ANSI_C_CONVERT_FLOAT_LITERAL_H

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

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

#endif
