+RTS -V0 disables the interval timer completely (for repeatable debugging)
[ghc-hetmet.git] / utils / hp2ps / TopTwenty.h
1 #ifndef TOP_TWENTY_H
2 #define TOP_TWENTY_H
3
4 void TopTwenty PROTO((void));
5
6 #endif /* TOP_TWENTY_H */