diff options
Diffstat (limited to 'src/opt/cut/cutInt.h')
| -rw-r--r-- | src/opt/cut/cutInt.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/opt/cut/cutInt.h b/src/opt/cut/cutInt.h index 4705c019..39606b00 100644 --- a/src/opt/cut/cutInt.h +++ b/src/opt/cut/cutInt.h @@ -18,8 +18,8 @@ ***********************************************************************/ -#ifndef __CUT_INT_H__ -#define __CUT_INT_H__ +#ifndef ABC__opt__cut__cutInt_h +#define ABC__opt__cut__cutInt_h //////////////////////////////////////////////////////////////////////// @@ -27,8 +27,8 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "extra.h" -#include "vec.h" +#include "src/misc/extra/extra.h" +#include "src/misc/vec/vec.h" #include "cut.h" #include "cutList.h" |