From 265e3e5cd4781aca3dad54985afc651172f9d735 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 28 Mar 2012 10:13:42 -0700
Subject: Moving Vec_Set_t to the vector directory.

---
 src/sat/bsat/satTruth.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bsat/satTruth.c')

diff --git a/src/sat/bsat/satTruth.c b/src/sat/bsat/satTruth.c
index dabb404f..b2e7dda9 100644
--- a/src/sat/bsat/satTruth.c
+++ b/src/sat/bsat/satTruth.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "satTruth.h"
-#include "vecSet.h"
+#include "src/misc/vec/vecSet.h"
 
 ABC_NAMESPACE_IMPL_START
 
-- 
cgit v1.2.3