diff options
Diffstat (limited to 'lib/libtask/taskimpl.h')
| -rw-r--r-- | lib/libtask/taskimpl.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/libtask/taskimpl.h b/lib/libtask/taskimpl.h index 2b1dd8f9f5e..2b1e31cfc7b 100644 --- a/lib/libtask/taskimpl.h +++ b/lib/libtask/taskimpl.h | |||
| @@ -212,13 +212,3 @@ void deltask(Tasklist*, Task*); | |||
| 212 | 212 | ||
| 213 | extern Task *taskrunning; | 213 | extern Task *taskrunning; |
| 214 | extern int taskcount; | 214 | extern int taskcount; |
| 215 | |||
| 216 | |||
| 217 | #ifdef EMACS | ||
| 218 | #define malloc unexec_malloc | ||
| 219 | #define realloc unexec_realloc | ||
| 220 | #define free unexec_free | ||
| 221 | void *unexec_malloc (size_t size); | ||
| 222 | void *unexec_realloc (void *old_ptr, size_t new_size); | ||
| 223 | void unexec_free (void *ptr); | ||
| 224 | #endif | ||