From 048ee090b02ac07709ba88979db05c3065835a95 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 20 Sep 2017 20:19:36 +0100 Subject: [PATCH] Eliminated the remaining operator kinds for partially unspecified FP operators from the AST API. --- src/api/api_ast.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp index 491e08cf4..e22603225 100644 --- a/src/api/api_ast.cpp +++ b/src/api/api_ast.cpp @@ -1204,12 +1204,8 @@ extern "C" { case OP_FPA_TO_SBV: return Z3_OP_FPA_TO_SBV; case OP_FPA_TO_REAL: return Z3_OP_FPA_TO_REAL; case OP_FPA_TO_IEEE_BV: return Z3_OP_FPA_TO_IEEE_BV; - case OP_FPA_MIN_I: return Z3_OP_FPA_MIN_I; - case OP_FPA_MAX_I: return Z3_OP_FPA_MAX_I; case OP_FPA_BVWRAP: return Z3_OP_FPA_BVWRAP; case OP_FPA_BV2RM: return Z3_OP_FPA_BV2RM; - case OP_FPA_MIN_UNSPECIFIED: return Z3_OP_FPA_MIN_UNSPECIFIED; - case OP_FPA_MAX_UNSPECIFIED: return Z3_OP_FPA_MAX_UNSPECIFIED; return Z3_OP_UNINTERPRETED; default: return Z3_OP_INTERNAL;