From 1a030bb7229d5ac8772b3daa9bb91a1afc56a4cb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 6 Nov 2018 07:50:05 -0800 Subject: [PATCH] add missing inline fix #1917 Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index d360b6153..edc724160 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -2847,7 +2847,7 @@ namespace z3 { return recfun(str_symbol(name), 2, dom, range); } - void context::recdef(func_decl f, expr_vector const& args, expr const& body) { + inline void context::recdef(func_decl f, expr_vector const& args, expr const& body) { check_context(f, args); check_context(f, body); array vars(args); Z3_add_rec_def(f.ctx(), f, vars.size(), vars.ptr(), body);