diff options
Diffstat (limited to 'src/libstore/build/goal.hh')
-rw-r--r-- | src/libstore/build/goal.hh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/libstore/build/goal.hh b/src/libstore/build/goal.hh index f808be160..4436e44b1 100644 --- a/src/libstore/build/goal.hh +++ b/src/libstore/build/goal.hh @@ -22,14 +22,10 @@ class Worker; */ typedef std::shared_ptr<Goal> GoalPtr; -struct CompareGoalPtrs { - bool operator() (const GoalPtr & a, const GoalPtr & b) const; -}; - /** * Set of goals. */ -typedef std::set<GoalPtr, CompareGoalPtrs> Goals; +typedef std::set<GoalPtr> Goals; /** * Used as a hint to the worker on how to schedule a particular goal. For example, @@ -167,8 +163,6 @@ public: return name; } - virtual std::string key() = 0; - virtual void cleanup() { } /** |