diff options
Diffstat (limited to 'src/Screen.hh')
-rw-r--r-- | src/Screen.hh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 09865e6..37edaa7 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -441,9 +441,6 @@ public: | |||
441 | template <typename OnHeadObject> | 441 | template <typename OnHeadObject> |
442 | int getOnHead(OnHeadObject &obj) const; | 442 | int getOnHead(OnHeadObject &obj) const; |
443 | 443 | ||
444 | template <typename OnHeadObject> | ||
445 | void setOnHead(OnHeadObject &obj, int head); | ||
446 | |||
447 | // grouping - we want ordering, so we can either search for a | 444 | // grouping - we want ordering, so we can either search for a |
448 | // group to the left, or to the right (they'll be different if | 445 | // group to the left, or to the right (they'll be different if |
449 | // they exist). | 446 | // they exist). |