diff options
Diffstat (limited to 'test/unit/expr/expr_manager_public.h')
| -rw-r--r-- | test/unit/expr/expr_manager_public.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/expr_manager_public.h b/test/unit/expr/expr_manager_public.h index 040bd7161..17efaf2a5 100644 --- a/test/unit/expr/expr_manager_public.h +++ b/test/unit/expr/expr_manager_public.h @@ -123,7 +123,7 @@ public: void testMkAssociativeBadKind() { std::vector<Expr> vars = mkVars(d_exprManager->integerType(), 10); - TS_ASSERT_THROWS( d_exprManager->mkAssociative(TUPLE,vars), IllegalArgumentException); + TS_ASSERT_THROWS( d_exprManager->mkAssociative(LEQ,vars), IllegalArgumentException); } }; |