From 77d64787e07638ac9e44ee892e4d4db5b52686e1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 24 Aug 2015 19:49:18 -0700 Subject: Changes to be able to compile ABC without CUDD. --- src/proof/llb/llbInt.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/proof/llb') diff --git a/src/proof/llb/llbInt.h b/src/proof/llb/llbInt.h index 0c53c01f..e2afe59a 100644 --- a/src/proof/llb/llbInt.h +++ b/src/proof/llb/llbInt.h @@ -30,9 +30,10 @@ #include "aig/aig/aig.h" #include "aig/saig/saig.h" #include "proof/ssw/ssw.h" -#include "misc/extra/extraBdd.h" #include "llb.h" +#include "misc/extra/extraBdd.h" + //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3