From 148a786b694b5cad9035e53f35a349d6274f0291 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 3 Mar 2011 12:28:52 -0800 Subject: Made abc.h independent of CUDD and Extra. --- src/opt/sim/simSupp.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/opt/sim/simSupp.c') diff --git a/src/opt/sim/simSupp.c b/src/opt/sim/simSupp.c index 563f98ac..67ac5efe 100644 --- a/src/opt/sim/simSupp.c +++ b/src/opt/sim/simSupp.c @@ -19,6 +19,7 @@ ***********************************************************************/ #include "abc.h" +#include "extra.h" #include "fraig.h" #include "sim.h" -- cgit v1.2.3