From 9bc49142689e23f0881465920ce1d4e5e1b6dc2d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 17 Mar 2019 11:32:28 -0700 Subject: [PATCH] add nth remapping Signed-off-by: Nikolaj Bjorner --- src/api/api_ast.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp index eeb85687d..4893cbe10 100644 --- a/src/api/api_ast.cpp +++ b/src/api/api_ast.cpp @@ -1162,6 +1162,7 @@ extern "C" { case OP_SEQ_EXTRACT: return Z3_OP_SEQ_EXTRACT; case OP_SEQ_REPLACE: return Z3_OP_SEQ_REPLACE; case OP_SEQ_AT: return Z3_OP_SEQ_AT; + case OP_SEQ_NTH: return Z3_OP_SEQ_NTH; case OP_SEQ_LENGTH: return Z3_OP_SEQ_LENGTH; case OP_SEQ_INDEX: return Z3_OP_SEQ_INDEX; case OP_SEQ_TO_RE: return Z3_OP_SEQ_TO_RE;