diff --git a/opencog/ure/Rule.cc b/opencog/ure/Rule.cc
index 61d311df23..9ca7cb5d5d 100644
--- 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
index bf329e4f3c..264aca74e8 100644
--- 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>