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

Module: Slicer for symex traces

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

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

#ifndef CPROVER_GOTO_SYMEX_SLICE_H
#define CPROVER_GOTO_SYMEX_SLICE_H

#include "symex_target_equation.h"

void slice(symex_target_equationt &equation);

#endif
