fix 64-bit value for W_SHIFT, which thankfully appears to be not used
[ghc-hetmet.git] / utils / hp2ps / Marks.h
1 #ifndef MARKS_H
2 #define MARKS_H
3
4 void Marks PROTO((void));
5
6 #endif /* MARKS_H */