From 8cc696951006a96578c0fc64a1571d2fd8841461 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Mon, 24 Jul 2023 09:38:57 +0700 Subject: [PATCH] Remove `Z3_literals` remnants. (#6829) The bulk of the functionality using these was removed between Z3 4.4.1 and 4.5.0, back in 2015. Co-authored-by: Bruce Mitchener --- src/api/z3_api.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/api/z3_api.h b/src/api/z3_api.h index 36634b8a4..9a93611b4 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -5,7 +5,6 @@ #pragma once DEFINE_TYPE(Z3_symbol); -DEFINE_TYPE(Z3_literals); DEFINE_TYPE(Z3_config); DEFINE_TYPE(Z3_context); DEFINE_TYPE(Z3_sort); @@ -1398,7 +1397,6 @@ typedef enum def_Type('FUNC_DECL', 'Z3_func_decl', 'FuncDecl') def_Type('PATTERN', 'Z3_pattern', 'Pattern') def_Type('MODEL', 'Z3_model', 'ModelObj') - def_Type('LITERALS', 'Z3_literals', 'Literals') def_Type('CONSTRUCTOR', 'Z3_constructor', 'Constructor') def_Type('CONSTRUCTOR_LIST', 'Z3_constructor_list', 'ConstructorList') def_Type('SOLVER', 'Z3_solver', 'SolverObj')