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

Module: Slicing

Author: Daniel Kroening, kroening@kroening.com

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

#ifndef CPROVER_GOTO_PROGRAMS_SLICER_H
#define CPROVER_GOTO_PROGRAMS_SLICER_H

#include "goto_functions.h"

void slicer(goto_functionst &goto_functions);
void slicer(goto_programt &goto_program);

#endif
