From 8a91a9afe8d56b7f266e4a9e64aceac8737395dc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 29 Sep 2012 19:44:45 -0400
Subject: Experiments with mini AIG manager.

---
 src/base/abci/abcMini.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/base/abci/abcMini.c b/src/base/abci/abcMini.c
index a43b7d7b..dd80c64d 100644
--- a/src/base/abci/abcMini.c
+++ b/src/base/abci/abcMini.c
@@ -20,7 +20,7 @@
 
 #include "base/abc/abc.h"
 #include "base/main/main.h"
-#include "base/abc/miniaig.h"
+#include "aig/miniaig/miniaig.h"
 
 ABC_NAMESPACE_IMPL_START
 
-- 
cgit v1.2.3