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

Module: Pointer Dereferencing

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// Pointer Dereferencing

#ifndef CPROVER_UTIL_POINTER_OFFSET_SUM_H
#define CPROVER_UTIL_POINTER_OFFSET_SUM_H

#include "expr.h"

exprt pointer_offset_sum(const exprt &a, const exprt &b);

#endif // CPROVER_UTIL_POINTER_OFFSET_SUM_H
