1 /* $Id: debug.h,v 1.6 1994/06/24 10:29:41 ceriel Exp $ */
3 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
4 * See the copyright notice in the ACK home directory, in the file "Copyright".
6 /* D E B U G G I N G T O O L S */
11 extern int linecount; /* # lines in this file */
12 extern bool verbose_flag; /* generate verbose output ? */
26 #define OUTVERBOSE(s,n1,n2)
30 /* Some (all?) Unix debuggers don't particularly like
31 * static procedures and variables. Therefor we make everything
32 * global when debugging.
37 #define assert(x) if(!(x)) badassertion(__FILE__,__LINE__)