1 /* COPYING ****************************************************************** 2 For copyright and licensing terms, see the file named COPYING. 3 // ************************************************************************** 4 */ 5 6 #if !defined(INCLUDE_REDO_H) 7 #define INCLUDE_REDO_H 8 9 #include <vector> 10 #include <list> 11 #include <string> 12 #include <iosfwd> 13 #include <cstdio> 14 15 extern bool debug; 16 17 extern 18 std::ostream & 19 msg ( 20 const char * prog, 21 const char * prefix 22 ) ; 23 24 #endif 25