aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarvin Borner2023-04-28 19:54:08 +0200
committerMarvin Borner2023-04-28 19:54:08 +0200
commitd19f7f5bb99ca1073edb3ce1b13e782a3f598b4a (patch)
tree4a079ad3f953983f478b4352c2620323b28e5c7e
parentfa9e1764a6b10bd5d8f794d8e99e7dc56d089695 (diff)
Renamed reducer
-rw-r--r--inc/reduce.h (renamed from inc/reducer.h)0
-rw-r--r--src/main.c4
-rw-r--r--src/reduce.c (renamed from src/reducer.c)2
-rw-r--r--src/test.c2
4 files changed, 4 insertions, 4 deletions
diff --git a/inc/reducer.h b/inc/reduce.h
index 82ea189..82ea189 100644
--- a/inc/reducer.h
+++ b/inc/reduce.h
diff --git a/src/main.c b/src/main.c
index dc5f062..a4973f7 100644
--- a/src/main.c
+++ b/src/main.c
@@ -7,7 +7,7 @@
#include <time.h>
#include <stdlib.h>
-#include <reducer.h>
+#include <reduce.h>
#include <gc.h>
#include <parse.h>
@@ -94,7 +94,7 @@ int main(int argc, char **argv)
if (!input)
return 1;
- struct term *parsed = parse_blc(input);
+ struct term *parsed = parse_bruijn(input);
clock_t begin = clock();
struct term *reduced = reduce(parsed, callback, 0);
diff --git a/src/reducer.c b/src/reduce.c
index 754a433..44c4d97 100644
--- a/src/reducer.c
+++ b/src/reduce.c
@@ -6,7 +6,7 @@
#include <stdio.h>
#include <string.h>
-#include <reducer.h>
+#include <reduce.h>
#include <murmur3.h>
#include <store.h>
#include <term.h>
diff --git a/src/test.c b/src/test.c
index c9bb3a6..9c2ecc3 100644
--- a/src/test.c
+++ b/src/test.c
@@ -20,7 +20,7 @@
#include <gc.h>
#include <parse.h>
#include <term.h>
-#include <reducer.h>
+#include <reduce.h>
struct test {
struct term *in;