Add miossing header includes

opencog · Dec 17, 2019 · 0a353dd · 0a353dd
1 parent a89683a
commit 0a353dd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/opencog/ure/Rule.cc b/opencog/ure/Rule.cc
@@ -29,6 +29,7 @@
 #include <boost/uuid/uuid_generators.hpp>
 #include <boost/algorithm/cxx11/any_of.hpp>
 
+#include <opencog/util/oc_assert.h>
 #include <opencog/atoms/base/Link.h>
 #include <opencog/atoms/base/Node.h>
 #include <opencog/atoms/core/DefineLink.h>

diff --git a/opencog/ure/UREConfig.cc b/opencog/ure/UREConfig.cc
@@ -23,6 +23,7 @@
 
 #include "UREConfig.h"
 
+#include <opencog/util/oc_assert.h>
 #include <opencog/atoms/core/NumberNode.h>
 #include <opencog/atomspaceutils/AtomSpaceUtils.h>