There was an error while loading. Please reload this page.
1 parent 2d9c3bf commit 75cf4e5Copy full SHA for 75cf4e5
1 file changed
src/NautyTracesInterface.c
@@ -2,7 +2,7 @@
2
* NautyTracesInterface: An interface to nauty
3
*/
4
5
-#include "compiled.h" /* GAP headers */
+#include "gap_all.h" /* GAP headers */
6
#include <naugroup.h>
7
#include <nautinv.h>
8
#include <nauty.h>
0 commit comments