diff options
Diffstat (limited to 'src/utils.h')
| -rw-r--r-- | src/utils.h | 1 |
1 files changed, 0 insertions, 1 deletions
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, |