From 92342683f5def4017574bdd91f1fae0081fea383 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 3 Jan 2006 11:34:48 +0000 Subject: [PATCH] - Cleanup of unused structure. --- src/arachne.h | 13 ------------- 1 file changed, 13 deletions(-) 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