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

Module: Destructor Calls

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

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

#ifndef CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
#define CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H

#include <expr.h>
#include <namespace.h>

exprt get_destructor(
  const namespacet &ns,
  const typet &type);

#endif
