From c0ac159888963dae8dabeb2ee9215f3efdf48a1a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 14 Jul 2013 15:04:25 -0700
Subject: New technology mapper.

---
 src/map/mpm/mpmAbc.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/map/mpm/mpmAbc.c')

diff --git a/src/map/mpm/mpmAbc.c b/src/map/mpm/mpmAbc.c
index 8ae7645a..eaf5fd7c 100644
--- a/src/map/mpm/mpmAbc.c
+++ b/src/map/mpm/mpmAbc.c
@@ -20,7 +20,6 @@
 
 #include "aig/gia/gia.h"
 #include "mpmInt.h"
-#include "misc/util/utilTruth.h"
 
 ABC_NAMESPACE_IMPL_START
 
-- 
cgit v1.2.3