diff options
Diffstat (limited to 'src/util/emptyset.h')
| -rw-r--r-- | src/util/emptyset.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/util/emptyset.h b/src/util/emptyset.h index 2f6c54173..43a868e42 100644 --- a/src/util/emptyset.h +++ b/src/util/emptyset.h @@ -35,10 +35,14 @@ class CVC4_PUBLIC EmptySet { const SetType d_type; + EmptySet() { } public: - EmptySet() { } /* Null typed */ - EmptySet(SetType t):d_type(t) { } + /** + * Constructs an emptyset of the specified type. Note that the argument + * is the type of the set itself, NOT the type of the elements. + */ + EmptySet(SetType setType):d_type(setType) { } ~EmptySet() throw() { |