model-checker: Add command-line parser for model checking options.
[pspp-builds.git] / src / ui / syntax-gen.c
2008-03-05 Ben PfaffPatch #6427. Reviewed by John Darrington.