Skip to content

Commit 40258a1

Browse files
committed
feat: support trace
1 parent b58e6e7 commit 40258a1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

pyWrapper.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ std::map<std::string, const char *> SID_USRTAG;
2222

2323
PYBIND11_EMBEDDED_MODULE(aiges_embed, module) {
2424
module.def("callback_metric", &callbackMetric, py::return_value_policy::automatic_reference);
25-
module.def("callback_trace", &callbackT, py::return_value_policy::automatic_reference);
25+
module.def("callback_trace", &callbackTrace, py::return_value_policy::automatic_reference);
2626
module.def("callback", &callBack, py::return_value_policy::automatic_reference);
2727
py::class_<ResponseData> responseData(module, "ResponseData");
2828
responseData.def(py::init<>())

0 commit comments

Comments
 (0)