From a55ac9f6de23304164f01ad944abe8919fa29843 Mon Sep 17 00:00:00 2001 From: Linas Vepstas Date: Mon, 4 May 2020 23:10:42 -0500 Subject: [PATCH] Required API change for pull opencog/atomspace#2571 --- opencog/miner/MinerUtils.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/opencog/miner/MinerUtils.cc b/opencog/miner/MinerUtils.cc index d77a95cb2..fb609a389 100644 --- a/opencog/miner/MinerUtils.cc +++ b/opencog/miner/MinerUtils.cc @@ -493,7 +493,9 @@ Handle MinerUtils::restricted_satisfying_set(const Handle& pattern, sater.max_results = ms; GetLinkCast(gl)->satisfy(sater); - return Handle(createUnorderedLink(sater._satisfying_set, SET_LINK)); + QueueValuePtr qv(sater.get_result_queue()); + HandleSeq hs(qv->to_handle_seq()); + return Handle(createUnorderedLink(std::move(hs), SET_LINK)); } bool MinerUtils::totally_abstract(const Handle& pattern)