diff options
Diffstat (limited to 'src/theory/arrays')
| -rw-r--r-- | src/theory/arrays/type_enumerator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arrays/type_enumerator.h b/src/theory/arrays/type_enumerator.h index adea9a9e8..e613fc667 100644 --- a/src/theory/arrays/type_enumerator.h +++ b/src/theory/arrays/type_enumerator.h @@ -36,7 +36,7 @@ class ArrayEnumerator : public TypeEnumeratorBase<ArrayEnumerator> { public: ArrayEnumerator(TypeNode type) throw(AssertionException) : - TypeEnumeratorBase(type), + TypeEnumeratorBase<ArrayEnumerator>(type), d_index(TypeEnumerator(type.getArrayIndexType())), d_constituent(TypeEnumerator(type.getArrayConstituentType())) { } |