* if (debug) fprintf(debug,"%s","Hallo");
*/
extern FILE *debug;
-extern bool gmx_debug_at;
+extern gmx_bool gmx_debug_at;
void init_debug (const int dbglevel,const char *dbgfile);
-bool bDebugMode(void);
+gmx_bool bDebugMode(void);
/* Return TRUE when the program was started in debug mode */
#if (defined __sgi && defined USE_SGI_FPE)