From 0a353dd99b26ae70ed6543b755055319298b1252 Mon Sep 17 00:00:00 2001
From: Linas Vepstas <linasvepstas@gmail.com>
Date: Tue, 17 Dec 2019 14:48:01 -0600
Subject: [PATCH] Add miossing header includes

---
 opencog/ure/Rule.cc      | 1 +
 opencog/ure/UREConfig.cc | 1 +
 2 files changed, 2 insertions(+)

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>