aboutsummaryrefslogtreecommitdiffstats
path: root/libnormalform_nor2.c
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--libnormalform_nor2.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/libnormalform_nor2.c b/libnormalform_nor2.c
new file mode 100644
index 0000000..c9ee0aa
--- /dev/null
+++ b/libnormalform_nor2.c
@@ -0,0 +1,14 @@
+/* See LICENSE file for copyright and license details. */
+#ifndef TEST
+#include "common.h"
+
+
+extern inline LIBNORMALFORM_SENTENCE *(libnormalform_nor2)(LIBNORMALFORM_SENTENCE *, LIBNORMALFORM_SENTENCE *);
+
+
+#else
+
+#define USE_TWO
+#include "libnormalform_nor.c"
+
+#endif