summaryrefslogtreecommitdiffstats
path: root/src/opt/rwr
diff options
context:
space:
mode:
Diffstat (limited to 'src/opt/rwr')
-rw-r--r--src/opt/rwr/rwrDec.c1
-rw-r--r--src/opt/rwr/rwrEva.c1
-rw-r--r--src/opt/rwr/rwrExp.c1
-rw-r--r--src/opt/rwr/rwrLib.c1
-rw-r--r--src/opt/rwr/rwrMan.c1
-rw-r--r--src/opt/rwr/rwrPrint.c1
-rw-r--r--src/opt/rwr/rwrTemp.c1
-rw-r--r--src/opt/rwr/rwrUtil.c1
8 files changed, 8 insertions, 0 deletions
diff --git a/src/opt/rwr/rwrDec.c b/src/opt/rwr/rwrDec.c
index 76d8ac51..a280f5f1 100644
--- a/src/opt/rwr/rwrDec.c
+++ b/src/opt/rwr/rwrDec.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
#include "dec.h"
diff --git a/src/opt/rwr/rwrEva.c b/src/opt/rwr/rwrEva.c
index 8f0c1821..4dc6c082 100644
--- a/src/opt/rwr/rwrEva.c
+++ b/src/opt/rwr/rwrEva.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
#include "dec.h"
#include "ivy.h"
diff --git a/src/opt/rwr/rwrExp.c b/src/opt/rwr/rwrExp.c
index c4664fbf..fa75f066 100644
--- a/src/opt/rwr/rwrExp.c
+++ b/src/opt/rwr/rwrExp.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/opt/rwr/rwrLib.c b/src/opt/rwr/rwrLib.c
index 731871d0..a7c01047 100644
--- a/src/opt/rwr/rwrLib.c
+++ b/src/opt/rwr/rwrLib.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/opt/rwr/rwrMan.c b/src/opt/rwr/rwrMan.c
index ffc5fcae..0f32c0da 100644
--- a/src/opt/rwr/rwrMan.c
+++ b/src/opt/rwr/rwrMan.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
#include "main.h"
#include "dec.h"
diff --git a/src/opt/rwr/rwrPrint.c b/src/opt/rwr/rwrPrint.c
index 11a084d3..5574df88 100644
--- a/src/opt/rwr/rwrPrint.c
+++ b/src/opt/rwr/rwrPrint.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/opt/rwr/rwrTemp.c b/src/opt/rwr/rwrTemp.c
index 6a670c3a..654e37c1 100644
--- a/src/opt/rwr/rwrTemp.c
+++ b/src/opt/rwr/rwrTemp.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/opt/rwr/rwrUtil.c b/src/opt/rwr/rwrUtil.c
index 7a836d63..7613691a 100644
--- a/src/opt/rwr/rwrUtil.c
+++ b/src/opt/rwr/rwrUtil.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "extra.h"
#include "rwr.h"
ABC_NAMESPACE_IMPL_START