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