From c964ff22469702d9d7f13bf1c12bcadcb1dc1afe Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 31 Jan 2023 09:02:07 +0100
Subject: Normalization

---
 src/reducer.c | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/reducer.c

(limited to 'src/reducer.c')

diff --git a/src/reducer.c b/src/reducer.c
new file mode 100644
index 0000000..e74946b
--- /dev/null
+++ b/src/reducer.c
@@ -0,0 +1,6 @@
+#include <reducer.h>
+
+struct term *reduce(struct term *term)
+{
+	return term;
+}
-- 
cgit v1.2.3