diff options
Diffstat (limited to 'src/proof/fraig/fraigSat.c')
| -rw-r--r-- | src/proof/fraig/fraigSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fraig/fraigSat.c b/src/proof/fraig/fraigSat.c index 7a11c072..fb3f1fec 100644 --- a/src/proof/fraig/fraigSat.c +++ b/src/proof/fraig/fraigSat.c @@ -18,7 +18,7 @@ #include <math.h> #include "fraigInt.h" -#include "src/sat/msat/msatInt.h" +#include "sat/msat/msatInt.h" ABC_NAMESPACE_IMPL_START |