]> andersk Git - splint.git/blame - src/Headers/pp.h
Fixed problem with NULL being changed.
[splint.git] / src / Headers / pp.h
CommitLineData
885824d3 1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3** See ../LICENSE for license information.
4**
5*/
6# define DUMMY3 8
7# define DUMMY4 12
This page took 0.063856 seconds and 5 git commands to generate.