Module Name:	src
Committed By:	agc
Date:		Mon Dec  4 21:22:40 UTC 2006

Modified Files:
	src/usr.sbin/veriexecgen: veriexecgen.c

Log Message:
Minor cosmetic changes:

1. use EXIT_SUCCESS and EXIT_FAILURE, rather than 0 or 1, throughout
2. add some comments
3. use descriptive names for variables, so that their use is easily
gleaned.


To generate a diff of this commit:
cvs rdiff -r1.9 -r1.10 src/usr.sbin/veriexecgen/veriexecgen.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.