diff --git a/src/CddInterface.c b/src/CddInterface.c index da948e0..e025492 100644 --- a/src/CddInterface.c +++ b/src/CddInterface.c @@ -4,8 +4,8 @@ #include "src/compiled.h" /* GAP headers */ -#include "setoper.h" -#include "cdd.h" +#include "cddlib/setoper.h" +#include "cddlib/cdd.h" #include "gmp.h"