From 54d5d8ada45ba77d7ce05f70c76deede5bc01a72 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Fri, 6 Feb 2009 13:45:26 -0400 Subject: Removed the now unused pushvar.h file. --- src/utils.h | 1 - 1 file changed, 1 deletion(-) (limited to 'src/utils.h') diff --git a/src/utils.h b/src/utils.h index 23ae10c7..a292ccf6 100644 --- a/src/utils.h +++ b/src/utils.h @@ -473,7 +473,6 @@ void finish_timer(const char * name); #include "times.h" #include "flags.h" #include "stream.h" -#include "pushvar.h" enum caught_signal_t { NONE_CAUGHT, -- cgit v1.2.3