diff options
Diffstat (limited to 'src/proof/llb')
| -rw-r--r-- | src/proof/llb/llbInt.h | 3 |
1 files changed, 2 insertions, 1 deletions
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 /// //////////////////////////////////////////////////////////////////////// |