OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-ure commits / 07c9e73

Add missing header file
07c9e737031cdda9988590727bb98d33d79df1a9
by Linas Vepštas <linasvepstas@gmail.com> · 2025-08-26T10:12:49.000Z

Changed files (1) +1 -0

opencog/ure/backwardchainer/BIT.h +1 -0
……@@ -26,6 +26,7 @@
2626#include <boost/operators.hpp>
2727
2828#include <opencog/util/empty_string.h>
29#include <opencog/util/RandGen.h>
2930#include <opencog/ure/Rule.h>
3031#include <opencog/ure/Utils.h>
3132#include <opencog/atoms/base/Handle.h>