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

Module: Value Set

Author: Daniel Kroening, kroening@kroening.com

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

/// \file
/// Value Set

#include "ref_expr_set.h"

const ref_expr_set_dt ref_expr_set_dt::blank;
