mirror of
https://github.com/MariaDB/server.git
synced 2025-12-01 17:39:21 +03:00
Remove an unused declaration
This commit is contained in:
@@ -416,9 +416,6 @@ public:
|
|||||||
Item* idx_cond_push(uint keyno, Item* idx_cond);
|
Item* idx_cond_push(uint keyno, Item* idx_cond);
|
||||||
/* @} */
|
/* @} */
|
||||||
|
|
||||||
/* An helper function for index_cond_func_innodb: */
|
|
||||||
bool is_thd_killed();
|
|
||||||
|
|
||||||
protected:
|
protected:
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|||||||
Reference in New Issue
Block a user