diff options
Diffstat (limited to 'libnormalform_vnand_checked.c')
| -rw-r--r-- | libnormalform_vnand_checked.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/libnormalform_vnand_checked.c b/libnormalform_vnand_checked.c new file mode 100644 index 0000000..a884e25 --- /dev/null +++ b/libnormalform_vnand_checked.c @@ -0,0 +1,14 @@ +/* See LICENSE file for copyright and license details. */ +#ifndef TEST +#include "common.h" + + +extern inline LIBNORMALFORM_SENTENCE *(libnormalform_vnand_checked)(size_t, LIBNORMALFORM_SENTENCE *, va_list); + + +#else + +#define USE_CHECKED_VALIST +#include "libnormalform_nand.c" + +#endif |