diff options
Diffstat (limited to 'src/proof/llb/llbInt.h')
-rw-r--r-- | src/proof/llb/llbInt.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/llb/llbInt.h b/src/proof/llb/llbInt.h index 58e2b543..208d291c 100644 --- a/src/proof/llb/llbInt.h +++ b/src/proof/llb/llbInt.h @@ -27,10 +27,10 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/aig/aig/aig.h" -#include "src/aig/saig/saig.h" -#include "src/proof/ssw/ssw.h" -#include "src/misc/extra/extraBdd.h" +#include "aig/aig/aig.h" +#include "aig/saig/saig.h" +#include "proof/ssw/ssw.h" +#include "misc/extra/extraBdd.h" #include "llb.h" //////////////////////////////////////////////////////////////////////// |