blob: ba970bed2cf554e00442e154cd160d295ca98741 [file] [log] [blame]
vlm5a6fc652005-08-16 17:00:21 +00001#undef NDEBUG
2#include <stdio.h>
3#include <stdlib.h>
4#include <sys/types.h>
5#include <string.h>
6#include <assert.h>
7
8#include <Choice.h>
9
10int
11main(int ac, char **av) {
12 Choice_t t;
13
14 (void)ac; /* Unused argument */
15 (void)av; /* Unused argument */
16
17 memset(&t, 0, sizeof(t));
18
19 /*
20 * No plans to fill it up: just checking whether it compiles or not.
21 */
22
23 return 0;
24}