[splint.git] / src / Headers / signature.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
/*
** signature.h
*/

# ifndef SIGNATURE_H
# define SIGNATURE_H

# include "code.h"

# ifndef OSD_H
# include "osd.h"
# endif

/*@-declundef@*/
extern void PrintToken(ltoken p_tok);
/*@=declundef@*/

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** signature.h
	8	*/
	9
	10	# ifndef SIGNATURE_H
	11	# define SIGNATURE_H
	12
	13	# include "code.h"
	14
	15	# ifndef OSD_H
	16	# include "osd.h"
	17	# endif
	18
a956d444	19	/@-declundef@/
885824d3	20	extern void PrintToken(ltoken p_tok);
a956d444	21	/@=declundef@/
885824d3	22
	23	# else
	24	# error "Multiple include"
	25	# endif