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

Module:

Author: Daniel Kroening, kroening@kroening.com

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


#ifndef CPROVER_UTIL_INTEGER_INTERVAL_H
#define CPROVER_UTIL_INTEGER_INTERVAL_H

#include "interval_template.h"
#include "mp_arith.h"

using integer_intervalt = interval_templatet<mp_integer>;

#endif // CPROVER_UTIL_INTEGER_INTERVAL_H
