diff options
Diffstat (limited to 'src/util/abstract_value.h')
-rw-r--r-- | src/util/abstract_value.h | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/util/abstract_value.h b/src/util/abstract_value.h index 78a1e9975..d597edc8b 100644 --- a/src/util/abstract_value.h +++ b/src/util/abstract_value.h @@ -18,9 +18,10 @@ #pragma once -#include "expr/type.h" #include <iostream> +#include "util/integer.h" + namespace CVC4 { class CVC4_PUBLIC AbstractValue { @@ -28,13 +29,9 @@ class CVC4_PUBLIC AbstractValue { public: - AbstractValue(Integer index) throw(IllegalArgumentException) : - d_index(index) { - CheckArgument(index >= 1, index, "index >= 1 required for abstract value, not `%s'", index.toString().c_str()); - } + AbstractValue(Integer index) throw(IllegalArgumentException); - ~AbstractValue() throw() { - } + ~AbstractValue() throw() {} const Integer& getIndex() const throw() { return d_index; |