diff options
author | Marvin Borner | 2023-04-28 19:54:08 +0200 |
---|---|---|
committer | Marvin Borner | 2023-04-28 19:54:08 +0200 |
commit | d19f7f5bb99ca1073edb3ce1b13e782a3f598b4a (patch) | |
tree | 4a079ad3f953983f478b4352c2620323b28e5c7e | |
parent | fa9e1764a6b10bd5d8f794d8e99e7dc56d089695 (diff) |
Renamed reducer
-rw-r--r-- | inc/reduce.h (renamed from inc/reducer.h) | 0 | ||||
-rw-r--r-- | src/main.c | 4 | ||||
-rw-r--r-- | src/reduce.c (renamed from src/reducer.c) | 2 | ||||
-rw-r--r-- | src/test.c | 2 |
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 @@ -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> @@ -20,7 +20,7 @@ #include <gc.h> #include <parse.h> #include <term.h> -#include <reducer.h> +#include <reduce.h> struct test { struct term *in; |