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

Module: Dump C from Goto Program

Author: Daniel Kroening, kroening@kroening.com

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

#ifndef CPROVER_GOTO_PROGRAM_DUMP_C_H
#define CPROVER_GOTO_PROGRAM_DUMP_C_H

#include <goto-programs/goto_functions.h>

void dump_c(
  const goto_functionst &src,
  const bool use_system_headers,
  const namespacet &ns,
  std::ostream &out);

void dump_cpp(
  const goto_functionst &src,
  const bool use_system_headers,
  const namespacet &ns,
  std::ostream &out);

#endif
