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

Module: Format vector of numbers into a compressed range

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// Format vector of numbers into a compressed range

#ifndef CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
#define CPROVER_UTIL_FORMAT_NUMBER_RANGE_H

#include <string>
#include <vector>

std::string format_number_range(const std::vector<unsigned> &);

#endif // CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
