From 148a786b694b5cad9035e53f35a349d6274f0291 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Mar 2011 12:28:52 -0800
Subject: Made abc.h independent of CUDD and Extra.

---
 src/opt/rwr/rwrDec.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/opt/rwr/rwrDec.c')

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"
 
-- 
cgit v1.2.3