diff options
author | Pixel <Pixel> | 2002-01-10 14:15:35 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2002-01-10 14:15:35 +0000 |
commit | 53de7397c5d9cfcbf480f122a379f077345f8ba8 (patch) | |
tree | f8061c3fe184c635d2fa419ed039e0611a11063f /include/Exceptions.h | |
parent | 692672cd414addadfe666904c10d4492a7fcbe17 (diff) |
Better duplicating handling...
Diffstat (limited to 'include/Exceptions.h')
-rw-r--r-- | include/Exceptions.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/Exceptions.h b/include/Exceptions.h index e5d24e6..1b98598 100644 --- a/include/Exceptions.h +++ b/include/Exceptions.h @@ -13,6 +13,7 @@ class GeneralException; char * xstrdup(const char *); void * xmalloc(size_t) throw (GeneralException); void xfree(void *&); +void xfree(char *&); void * xrealloc(void *, size_t); int xpipe(int *, int = 0) throw (GeneralException); pid_t xfork() throw (GeneralException); @@ -46,7 +47,7 @@ class Base { xfree(p); } static void free(char *& p) { - xfree((void *) p); + xfree(p); } static int pipe(int * p, int flag = 0) { return xpipe(p, flag); |