PKGBUILDs/community/gap/gap-cddlib-0.94k.patch

16 lines
314 B
Diff
Raw Normal View History

2020-09-19 00:34:08 +00:00
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"