diff --git a/src/arachne.h b/src/arachne.h
index 1474d4a..e45e2c3 100644
--- a/src/arachne.h
+++ b/src/arachne.h
@@ -13,17 +13,4 @@ int isTriviallyKnownAtArachne (const System sys, const Term t, const int run,
 int isTriviallyKnownAfterArachne (const System sys, const Term t,
 				  const int run, const int index);
 
-//! Goal structure
-/**
- * Signals a read event or claim event to which a term has to be bound.
- */
-struct goalstruct
-{
-  int run;			//!< run of goal
-  int index;			//!< index of goal in the run
-  Roledef rd;			//!< pointer to the role definition
-};
-
-typedef struct goalstruct Goal;	//!< pointer to goal structure
-
 #endif