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); | 
