From 77ade8d20906fe9ca2cf6788ff1e1437e0912868 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <m@maandree.se>
Date: Mon, 1 Jun 2026 19:07:14 +0200
Subject: Second commit
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <m@maandree.se>
---
 libnormalform_dnf.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 libnormalform_dnf.c

(limited to 'libnormalform_dnf.c')

diff --git a/libnormalform_dnf.c b/libnormalform_dnf.c
new file mode 100644
index 0000000..79f1a3d
--- /dev/null
+++ b/libnormalform_dnf.c
@@ -0,0 +1,17 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+struct libnormalform_term *
+(libnormalform_dnf)(LIBNORMALFORM_SENTENCE *this, uint64_t flags, const struct libnormalform_analysers *analysers)
+{
+	return libnormalform_express__(this, flags | LIBNORMALFORM_RELAX_XOR, analysers, DNF, NULL);
+}
+
+
+#else
+
+TODO_TEST
+
+#endif
-- 
cgit v1.3.1