diff options
| -rw-r--r-- | src/clean_gtk_support.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/clean_gtk_support.c b/src/clean_gtk_support.c index 50f534b..c6f6db1 100644 --- a/src/clean_gtk_support.c +++ b/src/clean_gtk_support.c @@ -5,13 +5,6 @@ typedef long CleanInt; extern CleanInt handleSignal (CleanInt,CleanInt*); extern CleanInt handleTimeout (CleanInt); -static void *safe_malloc(size_t n) { - void *ptr=malloc (n); - if (ptr==NULL) - perror ("malloc"); - return ptr; -} - static void clean_g_signal_handler_void (GtkWidget *target,gpointer data) { CleanInt args[2]; args[0]=0; |