diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-04 19:55:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-09 17:21:42 -0400 |
| commit | 42d28850d4f2f4816af24dedf8d1cbd0a0d58b6f (patch) | |
| tree | a1183f01ad74389d5e6c5d9c949e18d25f75d1cd /src/util | |
| parent | 9d0734cf73454ecfd51556ca84daaba9025b28f8 (diff) | |
Support empty (and 1-ary) tuples and records.
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/record.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/record.h b/src/util/record.h index 3d6481320..63c54930e 100644 --- a/src/util/record.h +++ b/src/util/record.h @@ -91,7 +91,6 @@ public: Record(const std::vector< std::pair<std::string, Type> >& fields) : d_fields(fields) { - CheckArgument(! fields.empty(), fields, "fields in record description cannot be empty"); } const_iterator find(std::string name) const { |