From 37b283fab96831cd54c05c4e7108438077a0a6aa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Nov 2023 08:54:10 -0800 Subject: [PATCH] use python3 in nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 4 ++-- src/api/c++/z3++.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index f0a775d2d..fb18cfc9c 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -103,8 +103,8 @@ stages: set -e eval `opam config env` cd doc - python mk_api_doc.py --mld --z3py-package-path=../build/python/z3 - python mk_params_doc.py + python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3 + python3 mk_params_doc.py mkdir api/html/ml ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli cd .. diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 2f59a6ee7..cb1446a08 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -368,7 +368,7 @@ namespace z3 { func_decl recfun(char const * name, sort const & d1, sort const & d2, sort const & range); /** - * \brief add function definition body to declaration decl. decl needs to be declared using context::. + * \brief add function definition body to declaration decl. decl needs to be declared using context::recfun. * @param decl * @param args * @param body