diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/theory/theory_strings_word_white.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/theory/theory_strings_word_white.h b/test/unit/theory/theory_strings_word_white.h index bc6279cb8..2e29d50b8 100644 --- a/test/unit/theory/theory_strings_word_white.h +++ b/test/unit/theory/theory_strings_word_white.h @@ -63,7 +63,8 @@ class TheoryStringsWordWhite : public CxxTest::TestSuite Node cac = d_nm->mkConst(String("cac")); Node abca = d_nm->mkConst(String("abca")); - TS_ASSERT(Word::mkEmptyWord(kind::CONST_STRING) == empty); + TypeNode stringType = d_nm->stringType(); + TS_ASSERT(Word::mkEmptyWord(stringType) == empty); std::vector<Node> vec; vec.push_back(abc); |