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/base/abci/abcMiter.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/abci/abcMiter.c')

diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c
index 0c75919c..5397f167 100644
--- a/src/base/abci/abcMiter.c
+++ b/src/base/abci/abcMiter.c
@@ -19,6 +19,7 @@
 ***********************************************************************/
 
 #include "abc.h"
+#include "extra.h"
 
 ABC_NAMESPACE_IMPL_START
 
-- 
cgit v1.2.3