From 5516e420a138fe9b696cb47815ee3f7994892261 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Apr 2020 23:09:28 -0700 Subject: [PATCH] disable bapa from smt interface Signed-off-by: Nikolaj Bjorner --- src/ast/array_decl_plugin.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast/array_decl_plugin.cpp b/src/ast/array_decl_plugin.cpp index 4cb29b9ca..08b55bba3 100644 --- a/src/ast/array_decl_plugin.cpp +++ b/src/ast/array_decl_plugin.cpp @@ -586,8 +586,10 @@ void array_decl_plugin::get_op_names(svector& op_names, symbol con op_names.push_back(builtin_name("subset",OP_SET_SUBSET)); op_names.push_back(builtin_name("as-array", OP_AS_ARRAY)); op_names.push_back(builtin_name("array-ext", OP_ARRAY_EXT)); +#if 0 op_names.push_back(builtin_name("set-has-size", OP_SET_HAS_SIZE)); op_names.push_back(builtin_name("card", OP_SET_CARD)); +#endif } }