Merge pull request #48 from fingolfin/mh/gap_all

Switch from compiled.h to gap_all.h

Author: kamalsaleh

src/CddInterface.c

@@ -2,7 +2,7 @@
  * CddInterface: Gap interface to Cdd package
  */
 
-#include "compiled.h" // GAP headers
+#include "gap_all.h" // GAP headers
 #include "config.h"
 
 #if HAVE_CDDLIB_SETOPER_H == 1